11:00-11:20

Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk

11:20-11:40

Michał Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk

11:40-12:00

Dror Fried, Axel Legay, Joel Ouaknine, Moshe Y Vardi

12:00-12:20

Yijia Chen, Moritz Mueller, Keita Yokoyama

12:20-12:40

Mikolaj Bojanczyk, Laure Daviaud, Krishna S

11:00-11:20

Noam Zeilberger

11:20-11:40

Ulrik Buchholtz, Kuen-Bang Hou Favonia

11:40-12:00

Nicolai Kraus, Thorsten Altenkirch

12:00-12:20

Ulrik Buchholtz, Floris van Doorn, Egbert Rijke

12:20-12:40

Karl Crary

14:00-14:20

Karoliina Lehtinen

14:20-14:40

Laure Daviaud, Marcin Jurdzinski, Ranko Lazic

14:40-15:00

Emmanuel Filiot, Raffaella Gentilini, Jean-Francois Raskin

15:00-15:20

Diego Figueira, M. Praveen

15:20-15:40

Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn

14:00-14:20

Roberto Bruni, Hernan Melgratti, Ugo Montanari

14:20-14:40

Dan Frumin, Robbert Krebbers, Lars Birkedal

14:40-15:00

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

15:00-15:20

Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu

15:20-15:40

Romain Demangeon, Nobuko Yoshida

16:00-16:20

Javier Esparza, Jan Kretinsky, Salomon Sickert

16:20-16:40

Joel Allred, Ulrich Ultes-Nitsche

16:40-17:00

Nathanaël Fijalkow

17:00-17:20

Udi Boker, Yariv Shaulian

17:20-17:40

Georg Zetzsche

17:40-18:00

Vrunda Dave, Paul Gastin, Krishna S

16:00-16:20

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev

16:20-16:40

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

16:40-17:00

R. Mardare, P. Panangaden, D. Kozen, D. Scott, R. Furber, G. Bacci

17:00-17:20

Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic

17:20-17:40

Pierre Vial

17:40-18:00

Thomas Leventis

09:00-10:30

Peter O'Hearn