The Gothenburg chapter of Papers We Love
Papers We Love has a Code of Conduct. Please contact one of the Meetup's organizers if anyone is not following it. Be good to each other and to the PWL community!
Sign-up: Please RSVP for meetings via Meetup.com
Organizers: Nachi Vpn
A big shout out to Zimpler for agreeing to host us! They will be sponsoring pizza and drinks too! :)
This meetup is going to be about:
"An introduction to Robin Milner’s work on concurrent computation, focusing mostly on his monograph “A Calculus of Communicating Systems (1980)” (CCS) and its expanded version, the textbook “Communication and Concurrency (1989)”. Some earlier background, and some later material and related work will also be covered, and an attempt made to evaluate the impact of Process Calculus (or Process Algebra), as the field that grew up around CCS is called."
The monograph can be read online here: http://www.lfcs.inf.ed.ac.uk/reports/86/ECS-LFCS-86-7/ECS-LFCS-86-7.…
We meet again after winter break! This time we'll be discussing Amazon's paper on using formal methods for verifying distributed systems.
I'll be doing a short presentation on the paper (and maybe TLA+ and similar tools) prior to the discussion.
You can find an online version of the PDF here:
To know more about Papers We Love in Gothenburg: checkout our what-is.…
We'll be discussing "Propositions as Types" by Philip Wadler on our first meetup. Víctor 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: <…