Propositions as Types By Víctor

We'll be discussing "Propositions as Types" by Philip Wadler on our first meetup. Víctor (https://www.meetup.com/Papers-We-Love-Gothenburg/members/91963582/) will be presenting the paper to us.

You can download the paper here: https://github.com/papers-we-love/papers-we-love/blob/master/plt/propositions-as-types.pdf?raw=true

---------

[UPDATE] At the event:

• You will be able to access WiFi on request. Just ask Victor or Nachi

• There aren't many power slots in the conference room to plug your laptop.

• There will be no food or drinks provided at the event. You can feel free to get something from the baguetteria nearby: https://www.openstreetmap.org/node/1187591749

• It would be really nice if you have a copy of the paper for you to use as a reference during the talk (either on your laptop/phone, or printed).

---------

Rough Agenda:

• 17:30 - Doors open

• 17:45 - Welcome

• 18:00 - Presentation

• 18:45 - Discussion

----------

How does it work?

We pick a paper and a speaker prior to the meetup. The speaker presents the paper, and the presentation is followed by a discussion where we discuss the ideas in the paper, it's practical implications, related research, future work etc., You can show off some implementation or your thoughts on the paper. The event will be quite informal (you suit up at your own risk!) and can go on for about 1-2 hours.

Wait, but why the **** ?!

Because it's fun to read papers and talk about it. The speaker walks us through the paper and it's background, helps us understand the math and demystify the technical jargon. You learn a lot and also get different perspectives. Overall, its a great opportunity to know about different areas of research in computer science.

Should I attend?

Of course! The members are a blend of engineers, hackers, researchers and students. Irrespective of your background, you are welcome to attend and indulge in the science.

Can I help?

Was hoping you'd ask this one. Papers We Love is community driven, so you are welcome to start a discussion, present a paper, help organize or host a meetup. Currently, we are in need of a co-organizer to help us out. It would be fantastic if you speak Swedish. Please get in touch with the Nachi (https://www.meetup.com/Papers-We-Love-Gothenburg/members/189428606/) if you are interested :)

------------

Papers We Love has a code of conduct: https://github.com/papers-we-love/gothenburg/blob/master/code-of-conduct.md