11:00-11:30

Charlie Jacomme, Steve Kremer

11:30-12:00

Bruno Blanchet

12:00-12:30

Patrick Thomas Eugster, Giorgia Azzurra Marson, Bertram Poettering

11:00-11:30

Willem Heijltjes, Gianluigi Bellin

11:30-12:00

Lê Thành Dũng Nguyễn

12:00-12:30

Jean-Simon Lemay

11:00-12:00

John Harrison

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

11:00-11:05

Olaf Beyersdorff, Christoph M. Wintersteiger

11:05-12:05

Christoph Scholl

12:00-12:30

Denis Firsov, Richard Blair, Aaron Stump

14:00-15:00

Srini Devadas

14:00-15:00

Peter Selinger

14:00-14:30

Étienne Miquey

14:30-15:00

S. Balco, S. Frittella, G. Greco, A. Kurz, A. Palmigiano

15:00-15:30

Venanzio Capretta, Colm Baston

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

14:00-14:30

Rüdiger Ehlers, Francisco Palau Romero

14:30-15:00

Tobias Paxian, Sven Reimer, Bernd Becker

15:00-15:30

Alexander Nadel

15:00-15:30

Maxime Audinot, Sophie Pinchinat, Barbara Kordy

15:00-15:30

Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng

16:00-17:00

Silvio Micali

17:00-18:00

Henk Barendregt

16:00-16:30

Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

16:30-17:00

Mariano Moscato, Carlos Lopez Pombo, Cesar Munoz, Marco Antonio Feliu Gabaldon

17:00-17:30

Jinxu Zhao, Bruno C. D. S. Oliveira, Tom Schrijvers

17:30-18:00

Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic

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

Radu Mardare, Prakash Panangaden, Gordon Plotkin, Giorgio Bacci

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

16:00-16:30

Jan Elffers, Jesus Giráldez-Cru, Jakob Nordstrom, Marc Vinyals

16:30-17:00

Jia Liang, Chanseok Oh, Minu Mathews, Ciza Thomas, Chunxiao Li, Vijay Ganesh

17:00-17:30

Vadim Ryvchin, Alexander Nadel

17:30-18:00

Sima Jamali, David Mitchell

09:00-10:30

Peter O'Hearn