09:00-09:30

Marc Fischlin, Sogol Mazaheri

09:30-10:00

C. Baritel-Ruet, F. Dupressoir, P.-A. Fouque, B. Grégoire

10:00-10:30

Marc Fischlin, Christian Janson, Sogol Mazaheri

09:00-09:30

Max New, Daniel Licata

09:30-10:00

Bassel Mannaa, Rasmus Møgelberg

10:00-10:30

Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters

09:00-10:00

Daniel R. Grayson

09:00-10:00

Ursula Martin

09:00-09:30

Dimitris Achlioptas, Zayd Hammoudeh, Panos Theodoropoulos

09:30-10:00

Dimitris Achlioptas, Zayd Hammoudeh, Panos Theodoropoulos

10:00-10:30

Johannes K. Fichte, Markus Hecher, Michael Morak, Stefan Woltran

10:00-10:30

Wolfram Kahl

10:00-10:20

Ehud Hrushovski, Joel Ouaknine, Amaury Pouly, James Worrell

10:20-10:40

Benoit Monin

11:00-11:30

H. Haagh, A. Karbyshev, S. Oechsner, B. Spitters, P.-Y. Strub

11:30-12:00

J.B. Almeida, M. Barbosa, G. Barthe, H. Pacheco, V. Pereira, B. Portela

12:00-12:30

Baiyu Li, Daniele Micciancio

11:00-11:30

Sandra Alves, Sabine Broda

11:30-12:00

Amin Timany, Matthieu Sozeau

12:00-12:30

Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau

11:00-11:30

Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada

11:30-12:00

Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel

12:00-12:30

Sylvain Boulmé, Alexandre Maréchal

11:00-11:20

Michał Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk

11:20-11:40

Arnaud Durand, Anselm Haak, Heribert Vollmer

11:40-12:00

Yijia Chen, Jörg Flum

12:00-12:20

Michael Hahn, Andreas Krebs, Howard Straubing

12:20-12:40

Matthias Niewerth

11:00-11:20

Steve Awodey, Jonas Frey, Sam Speight

11:20-11:40

Jonathan Sterling, Robert Harper

11:40-12:00

Ankush Das, Jan Hoffmann, Frank Pfenning

12:00-12:20

Kristina Sojakova, Patricia Johann

12:20-12:40

Guillaume Geoffroy

11:00-12:00

Rahul Santhanam

14:00-14:30

Borzoo Bonakdarpour, Bernd Finkbeiner

14:30-15:00

Mckenna McCall, Hengruo Zhang, Limin Jia

15:00-15:30

Andrey Chudnov, David Naumann

14:00-15:00

Valeria Vignudelli

14:00-14:30

Callum Bannister, Peter Höfner, Gerwin Klein

14:30-15:00

Jason Gross, Andres Erbsen, Adam Chlipala

15:00-15:30

Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins

14:00-14:20

Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König

14:20-14:40

Matteo Mio

14:40-15:00

Luc Dartois, Emmanuel Filiot, Nathan Lhote

15:00-15:20

Bruce Kapron, Florian Steinberg

14:00-14:20

Colin Riba, Pierre Pradic

14:20-14:40

Marie Kerjean

14:40-15:00

Dominic Hughes

15:00-15:20

Olivier Laurent

14:00-14:30

Mikolas Janota

14:30-15:00

Manuel Kauers, Martina Seidl

15:00-15:30

Martin Suda, Bernhard Gleiss

15:00-15:30

Ambrus Kaposi, András Kovács

15:40-16:10

Maciej Bendkowski, Pierre Lescanne

16:10-16:40

Łukasz Czajka

15:40-16:00

S. Akshay, Blaise Genest, Nikhil Vyas

16:00-16:20

Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur

16:20-16:40

Jan Kretinsky, Tobias Meggendorfer

15:40-16:00

Clovis Eberhart, Tom Hirschowitz

16:00-16:20

Paul-André Melliès, Léo Stefanesco

16:20-16:40

Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel

16:00-16:30

Hildenbrandt et.al

16:00-16:30

Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin

16:30-17:00

Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau

16:00-16:30

Michael Lampis, Stefan Mengel, Valia Mitsou

16:30-17:00

Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider

17:00-18:30

Stuart Russell