Gothenburg

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!

Chapter details

Sign-up: Please RSVP for meetings via Meetup.com

Slack: #pwlgot

Twitter: @pwlgot

Organizers: Nachi Vpn

Chapter Meetups

K. V. S. Prasad on "Communication and Concurrency" at Zimpler

Map Date/Time: 2017-02-16 06:00pm Location: Zimpler - Götabergsgatan 1, Göteborg

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."


- K. V. S. Prasad

The monograph can be read online here: http://www.lfcs.inf.ed.ac.uk/reports/86/ECS-LFCS-86-7/ECS-LFCS-86-7.…

Read more about this Meetup

Use of Formal Methods at Amazon Web Services by Nachi

Map Date/Time: 2017-01-25 06:30pm Location: Chalmers University of Technology - Room 3364 (Conference room), EDIT Building, Gothenburg

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:

http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf

To know more about Papers We Love in Gothenburg: checkout our what-is.

Read more about this Meetup

Propositions as Types By Víctor

Date/Time: 2016-12-01 05:30pm Location:

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: <…

Read more about this Meetup