17:00-17:15

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

17:15-17:30

Wu, Ozdemir, Zeljić, Julian, Irfan, Gopinath, Fouladi, Katz, Pasareanu, Barrett

17:30-17:45

Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina

17:45-18:00

Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan

18:00-18:15

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

18:15-18:30

Lahiri, Lal, Nutz, Gopinath, Levin, Kumar, Deisinger, Bansal, Lichtenberg

18:30-18:40

Vasileios Klimis, George Parisis, Bernhard Reus

18:40-18:55

Cook, Doebel, Kroening, Manthey, Pohlack, Polgreen, Tautschnig, Wieczorkiewicz

19:05-19:35

Orna Kupferman