09:00-10:00

Geoff Sutcliffe

10:00-10:30

Jingyi Mei, Tim Coopmans, Marcello Bonsangue, Alfons Laarman

11:00-11:30

Harald Ruess

11:30-12:00

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu

12:00-12:30

Enguerrand Prebet, André Platzer

14:00-14:30

Agata Ciabattoni, Matteo Tesi

14:30-15:00

Matteo Acclavio

15:00-15:30

Anupam Das, Abhishek De

15:30-16:00

Jan Rooduijn, Dexter Kozen, Alexandra Silva

14:00-14:30

G. Sutcliffe, C. Suttner, L. Kotthoff, C.R. Perrault, Z. Khalid

14:30-15:00

Marton Hajdu, Laura Kovacs, Michael Rawson, Andrei Voronkov

15:00-15:30

Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach

15:30-16:00

Filip Bártek, Karel Chvalovský, Martin Suda

16:30-16:50

T. Hader, D. Kaufmann, A. Irfan, S. Graham-Lengrand, L. Kovacs

16:50-17:10

Samuel Chassot, Viktor Kunčak

17:10-17:30

Maximilian Heisinger, Simone Heisinger, Martina Seidl