Program

Monday 11 September
09:00 - 10:30

Registration & welcome coffee with the lecturers

10:30 - 12:30

The Quest for “Optimal” Conflict Resolution
Introductory Lecture by Nuno Preguiça

12:30 - 13:45

Lunch

13:45 - 15:45

Fault-tolerance in Message-passing Distributed Systems
Lecture by Annette Bieniusa

15:45 - 16:00

Coffee Break

16:00 - 18:00

Testing Distributed System Implementations
Lecture by Burcu Kulahcioglu Ozkan

18:30 - 20:00

Welcome reception


Tuesday 12 September
08:30 - 10:30

CRDTs: State-based approaches to high availability
Lecture by Carlos Baquero

10:30 - 10:45

Coffee Break

10:45 - 12:45

Implementing a chat application with causal delivery in Elixir

Annette Bieniusa

12:45 - 13:45

Lunch

13:45 - 15:00

Hands-on by Carlos Baquero

Carlos Baquero

15:00 - 17:00

Guided visit to the Museum of Natural Sciences

17:00 - 20:00

Dinner at Maison Antoine followed by a drink at The First Bar


Wednesday 13 September
08:30 - 10:30

Verification with TLA+
Lecture by Carla Ferreira

10:30 - 10:45

Coffee Break

10:45 - 12:45

Verifying distributed protocols with TLA+

Carla Ferreira

12:45 - 14:00

Lunch

14:00 - 16:00

Why replicated lists are surprisingly hard
Lecture by Martin Kleppmann

16:00 - 18:00

Poster Session


Thursday 14 September
08:30 - 10:30

Verifying RDTs with VeriFx
Lecture by Kevin De Porre

10:30 - 11:00

Coffee Break

11:00 - 13:00

Hands-on by Kevin De Porre

Kevin De Porre

13:00 - 14:15

Lunch

14:15 - 15:00

A principled approach to programming distributed systems (part one)
Lecture by Marc Shapiro

15:00 - 17:00

Guided tour at the Comics Art Museum

19:30 - 21:30

Dinner at Le Rossini


Friday 15 September
09:15 - 10:00

A principled approach to programming distributed systems (part two)
Lecture by Marc Shapiro

10:00 - 10:30

Coffee Break

10:30 - 12:30

Byzantine fault tolerance in highly available systems
Lecture by Martin Kleppmann

12:30 - 14:00

Lunch

14:00 - 16:00

Research Projects & Closing