Name: Propositions as Types By Víctor
Start: 2016-12-01T17:30:00+01:00
End: 2016-12-01T20:30:00+01:00
Location: Chalmers University of Technology

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

Nachi Valliappan

Papers We Love, Gothenburg

Technology

Education & Technology

New Technology

Intellectual Discussions

Reading

Computer Science

Computer Programming

Programming Languages

Computing

Functional Programming

Propositions as Types By Víctor

Chalmers University of Technology

Share

What does your past 12 months of Meetup reveal about you? It's time to relive your personal highlights!

Don't miss your <highlight>2025 recap!</highlight>

Papers We Love, Gothenburg

Propositions as Types By Víctor

Papers We Love, Gothenburg

Details

Members are also interested in