09:00-10:00

Egbert Rijke

10:00-10:20

Kristensen et.al

10:20-10:40

Mikkel Kragh Mathiesen, Ken Friis Larsen

11:10-11:30

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

11:30-11:50

Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters

11:50-12:10

Philipp Joram, Niccolò Veltri

12:10-12:30

Håkon Robbestad Gylterud, Elisabeth Stenholm

14:00-14:20

Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North

14:20-14:40

Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey

14:40-15:00

Kobe Wullaert

15:00-15:20

Niels van der Weide

15:50-16:10

Ulrik Buchholtz, Daniel Gratzer, Jonathan Weinberger

16:10-16:30

Yuta Takahashi

16:30-16:50

Yoan Géran

16:50-17:10

Peter Dybjer, Anton Setzer