09:00-09:20

Takeshi Tsukada, Kazuyuki Asada, Luke Ong

09:20-09:40

Nadish de Silva

09:40-10:00

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

10:00-10:20

Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang

10:20-10:40

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

09:00-09:20

Francesco Gavazzo

09:20-09:40

Adrien Guatto

09:40-10:00

Thomas Powell

10:00-10:20

Koko Muroya, Wai-Tak Cheung, Dan Ghica

10:20-10:40

Andreas Nuyts, Dominique Devriese

11:00-12:00

Val Tannen

12:00-12:20

Mikołaj Bojańczyk, Szymon Toruńczyk

12:20-12:40

Albert Atserias, Joanna Ochremiak

14:00-14:20

Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin

14:20-14:40

Thomas Ferrère, Thomas A Henzinger, N Ege Sarac

14:40-15:00

T. Brazdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, F. Zuleger

15:00-15:20

Brandon Bohrer, André Platzer

15:20-15:40

André Platzer, Yong Kiam Tan

14:00-14:20

Raphaëlle Crubillé

14:20-14:40

Damien Pous, Valeria Vignudelli

14:40-15:00

Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff

15:00-15:20

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

15:20-15:40

Paul-André Melliès

16:00-17:00

Javier Esparza

17:00-17:15

Catuscia Palamidessi

17:15-17:45

Moshe Vardi