All times are in Central European Summer Time = CEST = Berlin time = UTC+02:00.
Thursday, October 15
CELLS
Chairs: Matthias Fuegger, Manish Kushwaha, Thomas Nowak
Zoom Meeting: Conference Room CELLS
17:30 | Jeff Hasty: “Engineered Gene Circuits: From Clocks To Tumors And Small Ecologies” |
18:30 | David Doty: “Crystals That Think About How They’re Growing” |
19:30 | 30min break |
20:00 | Discussion/Socializing |
TLA+
Chairs: Leslie Lamport and Stephan Merz
Zoom Meeting: Conference Room TLA+
17:30 | Welcome |
17:40 | Dharma Shukla: Keynote: TLA+ at Microsoft to build planetary-scale systems. |
Friday, October 16
ADGA
Chair: Jara Uitto
Zoom Meeting: Conference Room ADGA
BIS
Chairs: Fatemeh Shirazi, Eleftherios Kokoris-Kogias
Zoom Meeting: Conference Room BIS
15:00 | Alexei Zamyatin |
15:30 | Pramod Viswanath |
16:00 | Christopher Goes |
16:30 | Dankrad Feist |
17:00 | Rachid Guerraoui |
17:30 | Pedro Moreno-Sanchez |
18:00 | George Danezis |
18:30 | Alistair Stewart |
CELLS
Chairs: Matthias Fuegger, Manish Kushwaha, Thomas Nowak
Zoom Meeting: Conference Room CELLS
TLA+
Chairs: Leslie Lamport and Stephan Merz
Zoom Meeting: Conference Room TLA+
Monday, October 19
TLA+
Chairs: Leslie Lamport and Stephan Merz
Zoom Meeting: Conference Room TLA+