09:00-10:00

Ruzica Piskac

10:00-10:15

Florian Bruse, Martin Lange, Sören Möller

11:00-11:15

Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik

11:15-11:30

Tobias Meggendorfer, Maximilian Weininger

11:30-12:00

Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler

12:00-12:15

Ali Asadi, Krishnendu Chatterjee, Raimundo Saona Urmeneta, Jakub Svoboda

12:15-12:30

Quentin Guilmant, Joël Ouaknine

14:00-14:15

Julia Klein, Alberto D'Onofrio, Tatjana Petrov

14:15-14:30

F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik

14:30-15:00

Gwendal Priser, Elena Vanneaux, Goran Frehse

15:00-15:30

J. Cohen, E. Goutierre, H. Guler, F. Kapotos, S.-B. Li, M. Sébag, B. Zhu

15:30-15:45

George Kenison

15:45-16:00

Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka