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

Sponsors

Chapter Meetups

Dan Rosén on "Algebraic Effects" at TimeEdit

Map Date/Time: 2017-10-05 06:00pm Location: TimeEdit AB - Drakegatan 7, Göteborg

We're back from summer for more on functional programming! :D

Dan Rosén will be giving a talk on Algebraic effects at this meetup based on the paper "Type Directed Compilation of Row-Typed Algebraic Effects" by Daan Leijen.


For who ever is wondering, algebraic effects are an alternative to monads for modeling side-effects (e.g. input/output, state, or exceptions) in an otherwise
pure functional language. The paper can be read online here: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/algeff.pdf

The wonderful folks at TimeEdit have agreed to host this event. They will be providing some food and drinks too! ;)

Below, you can find the abstract for the talk and the speaker's bio.

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

Algebraic e…

Read more about this Meetup

Alejandro Russo on "Two Can Keep a Secret, If One of Them Uses Haskell"

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

Alejandro Russo will give a talk on the paper "Two Can Keep a Secret, If One of Them Uses Haskell" authored by him!

Alejandro Russo is an associate professor at Chalmers University of Technology working on the intersection of functional languages, security, and systems. He is the recipient of a Google Research Awards and several grants from the Swedish research agencies Vetenskapsrådet, STINT, and Barbro Osher foundation. Internationally, Prof. Russo worked on prestigious research institutions like Stanford University, where he was appointed visiting associate professor. His research ranges from foundational aspects of security to developing tools to secure software written in Haskell, Python, and JavaScript. ( http://www.cse.chalmers.se/~russo/ ).

The paper presents a monadic API in Haskell which takes advantage of the type system to protect confidentiality of data. Since the API utilizes the type syst…

Read more about this Meetup

Suvash on "Impossibility of Distributed Consensus with One Faulty Process"

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

Suvash will be talking at this meetup! The event will be hosted by Zimpler.

You can download/read the paper here: https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/impossibility-of-consensus-with-one-faulty-process.pdf

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

Read more about this Meetup

Kruthika on "Self-stabilizing systems in spite of distributed control"

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

We're going to be talking about distributed systems this time!

Kruthika will give a talk on Dijkstra's paper.


You can download the paper from here: https://github.com/papers-we-love/papers-we-love/raw/master/distributed_systems/self-stabilizing-systems-in-spite-of-distributed-control.pdf

And Zimpler will sponsor pizza!

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

Read more about this Meetup

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