Monday, October 09
09:00 – 12:20 | ADGA (EX-ISEF Building, Main Lecture Hall) FRIDA (EX-ISEF Building, Room C) WAND (EX-ISEF Building, Library) (see workshops program) |
12:20 – 14:00 | Lunch |
14:00 – 18:00 | ADGA (EX-ISEF Building, Main Lecture Hall) FRIDA (EX-ISEF Building, Room C) WAND (EX-ISEF Building, Library) (see workshops program) |
18:00 – 20:00 | Welcome Reception (with food and drinks) |
Tuesday, October 10 (Rectorate Building, Auditorium)
08:45 – 08:55 | Welcome Address from Paola Inverardi (GSSI rectress) |
08:55 – 09:55 | Keynote 1 (Dijkstra Award): Tal Rabin |
09:55 – 10:15 | Coffee Break |
10:15 – 11:30 | Session 1: Byzantine fault tolerance |
11:30 – 11:40 | Break |
11:40 – 12:20 | Session 2: Networks Algorithms I |
12:20 – 14:00 | Lunch |
14:00 – 15:30 | Session 3: Blockchain |
15:30 – 16:00 | Coffee Break |
16:00 – 17:10 | Session 4: Concurrency and Shared Memory I |
17:10 – 17:45 | Break |
17:45 – 19:15 | Business Meeting |
19:15 – 20:30 | Aperitif |
Wednesday, October 11 (Rectorate Building, Auditorium)
09:00 – 10:00 | Keynote 2: Amos Korman |
10:00 – 10:25 | Coffee Break |
10:25 – 11:25 | Session 5: Network Algorithms II |
11:25 – 11:40 | Break |
11:40 – 12:20 | Session 6: Security and Privacy |
12:20 – 14:00 | Lunch |
14:00 – 15:25 | Session 7: Mobile and Biologically-Inspired Computing |
15:25 – 17:30 | Free/Research Time |
17:30 – 19:30 | Social Event (Mandolin and Guitar Concert), at Auditorium del Parco |
19:30 – 22:00 | Social Dinner (at “Lo Scalco dell’Aquila” restaurant) |
Thursday, October 12 (Rectorate Building, Auditorium)
09:00 – 10:00 | Keynote 3: Lorenzo Alvisi |
10:00 – 10:20 | Coffee Break |
10:20 – 11:25 | Session 8: Network Algorithms III |
11:25 – 11:35 | Break |
11:35 – 12:20 | Session 9: Miscellaneous Topics (formal methods + MPC) |
12:20 – 14:00 | Lunch |
14:00 – 15:35 | Session 10: Asynchronous Computability and Knowledge |
15:35 – 16:05 | Coffee Break |
16:05 – 17:15 | Session 11: Concurrency and Shared Memory II |
Friday, October 13
09:00 – 12:20 | PODL (EX-ISEF Building, Main Lecture Hall) HACDA (EX-ISEF Building, Room C) AMG (EX-ISEF Building, Library) (see workshops program) |
12:20 – 14:00 | Lunch |
14:00 – 17:30 | PODL (EX-ISEF Building, Main Lecture Hall) HACDA (EX-ISEF Building, Room C) AMG (EX-ISEF Building, Library) (see workshops program) |