FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR TUESDAY, JULY 10TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
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
10:00-10:30
Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters
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: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
12:00-12:20
Michael Hahn, Andreas Krebs, Howard Straubing
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
11:00-12:00
Rahul Santhanam
14:00-14:30
Borzoo Bonakdarpour, Bernd Finkbeiner
14:30-15:00
Mckenna McCall, Hengruo Zhang, Limin Jia
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:40-15:00
Luc Dartois, Emmanuel Filiot, Nathan Lhote
15:00-15:20
Bruce Kapron, Florian Steinberg
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
15:40-16:00
S. Akshay, Blaise Genest, Nikhil Vyas
16:00-16:20
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
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
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
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break