Program Overview

Monday, October 09

During the dayADGA, FRIDA, WAND (see workshops program)
18:00 – 20:00Reception

Tuesday, October 10

08:45 – 08:55Welcome Address from Paola Inverardi (GSSI rectress)
08:55 – 09:55Keynote 1 (Dijkstra Award): Tal Rabin
09:55 – 10:15Coffee Break
10:15 – 11:30Session 1: Byzantine fault tolerance
11:30 – 11:40Break
11:40 – 12:20Session 2: Networks Algorithms I
12:20 – 14:00Lunch
14:00 – 15:30Session 3: Blockchain
15:30 – 16:00Coffee Break
16:00 – 17:10Session 4: Concurrency and Shared Memory I
17:10 – 17:45Break
17:45 – 19:15Business Meeting
19:15 – 20:30Aperitif

Wednesday, October 11

09:00 – 10:00Keynote 2: Amos Korman
10:00 – 10:25Coffee Break
10:25 – 11:25Session 5: Network Algorithms II
11:25 – 11:40Break
11:40 – 12:20Session 6: Security and Privacy
12:20 – 14:00Lunch
14:00 – 15:25Session 7: Mobile and Biologically-Inspired Computing
15:25 – 17:30Free/Research Time
17:30 – 19:30Social Event
19:30 – 22:00Social Dinner

Thursday, October 12

09:00 – 10:00Keynote 3: Lorenzo Alvisi
10:00 – 10:20Coffee Break
10:20 – 11:25Session 8: Network Algorithms III
11:25 – 11:35Break
11:35 – 12:20Session 9: Miscellaneous Topics (formal methods + MPC)
12:20 – 14:00Lunch
14:00 – 15:35Session 10: Asynchronous Computability and Knowledge
15:35 – 16:05Coffee Break
16:05 – 17:15Session 11: Concurrency and Shared Memory II

Friday, October 13

During the dayAMG, HACDA, PODL (see workshops program)