Note: The program may still change.
Timetable
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| 9:00 | Intro Lecture | Elisa Gonzalez Boix | Gowtham Kaki | Mira Mezini | Annette Bieniusa |
| 10:30 | Break | Break | Break | Break | Break |
| 10:50 | Martin Kleppmann | Antonio F. Anta | Carlos Baquero | Carlos Baquero | Annette Bieniusa |
| 12:20 | Lunch | Lunch | Lunch | Lunch | Lunch |
| 13:20 | Martin Kleppmann | Elisa Gonzalez Boix | Gowtham Kaki | Ragnar Mogk | Project Preparation |
| 15:00 | City Tour | Antonio F. Anta | Poster Session 2 | Social Event 2 | Open end |
| Poster Session 1 |
Legend
Hands-on Lecture Other
Lecturers and Topics
- Martin Klepmmann: Byzantine attacks and eventual consistency.
- Antonio F. Anta: A Modular Event-based Framework for Concurrent Object Specification.
- Elisa Gonzalez Boix: DARE essentials.
- Carlos Baquero: Novel synchronization techniques for CRDTs
- Gowtham Kaki: Formal methods in distributed systems.
- Annette Bieniusa: Broadcast, RDTs, Elixir.
- Mira Mezini & Ragnar Mogk: Language-integrated replicated and reactive data types.
