09:00-10:00

Talia Ringer

10:00-10:20

Thorsten Altenkirch, Ambrus Kaposi, Michael Shulman, Elif Üsküplü

10:20-10:40

Jacob Neumann

11:10-11:30

Benno van den Berg

11:30-11:50

Viktor Bense, Ambrus Kaposi, Szumi Xie

11:50-12:10

Thorsten Altenkirch, Ambrus Kaposi

12:10-12:30

Ambrus Kaposi, Szumi Xie

14:00-14:20

Henning Basold, Herman Geuvers

14:20-14:40

Daniel Gratzer, Lars Birkedal

14:40-15:00

Thierry Coquand, Jonas Höfer

15:00-15:20

Yulong Huang, Jeremy Yallop

15:50-16:10

Dominique Larchey-Wendling

16:10-16:30

Joachim Kristensen, Tobias Reinhard, Michael Kirkedal Thomsen

16:30-16:50

András Kovács