09:00-09:30

Cláudia Nalon, Dirk Pattinson

09:30-10:00

Yevgeny Kazakov, Peter Skočovský

10:00-10:30

Michael Peter Lettmann, Nicolas Peltier

09:00-09:30

Florian Lonsing, Uwe Egly

09:30-10:00

Benjamin Kiesl, Adrian Rebola-Pardo, Marijn Heule

10:00-10:30

Alexey Ignatiev, Filipe Pereira, Nina Narodytska, Joao Marques-Silva

11:00-11:30

Dominique Larchey-Wendling

11:30-12:00

Bohua Zhan, Maximilian P. L. Haslbeck

12:00-12:30

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann

11:00-11:30

Peter Backeman, Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer

11:30-12:00

A. Reynolds, A. Viswanathan, H. Barbosa, C. Tinelli, C. Barrett

12:00-12:30

Martin Bromberger

14:00-15:00

Martin Giese

15:00-15:30

Jeremy Dawson, Nachum Dershowitz, Rajeev Gore

16:00-16:30

Matteo Acclavio, Lutz Strassburger

16:30-17:00

Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov

17:00-17:30

André Platzer

17:30-18:00

Dennis Müller, Florian Rabe, Michael Kohlhase

16:00-16:30

Etienne Payet, Fausto Spoto

16:30-17:00

Evgenii Kotelnikov, Laura Kovacs, Andrei Voronkov

17:00-17:30

S. Ho, O. Abrahamsson, R. Kumar, M. O. Myreen, Y.K. Tan, M. Norrish

17:30-18:00

Guillaume Melquiond, Raphaël Rieu-Helft