FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR FRIDAY, JULY 13TH: 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
19:00
19:30
20:00
20:30
21:00
21:30
09:50-10:20
Siddharth Krishna, Dennis Shasha, Thomas Wies
09:30-10:00
Ethan Buchman
10:00-10:30
E. De Angelis, F. Fioravanti, A. Palacios, A. Pettorossi, M. Proietti
10:00-10:30
Philip Amortila, Guillaume Rabusseau
10:00-10:30
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
09:00-09:22
Mancini, Mari, Massini, Melatti, Salvo, Sinisi, Tronci, Ehrig, Röblitz, Leeners
09:22-09:44
Mancini, Tronci, Scialanca, Lanciotti, Finzi, Guarneri, Di Pompeo
10:00-10:30
H. Barbosa, A. Reynolds, P. Fontaine, D. El Ouraoui, C. Tinelli
09:00-09:45
Douglas Smith
09:00-09:45
Orna Grumberg
09:45-10:30
Natarajan Shankar
09:30-10:00
Mathias Fleury, Jasmin Christian Blanchette, Peter Lammich
10:00-10:30
Andreas Lochbihler, Pascal Stoop
09:30-10:30
Mikolaj Bojanczyk
11:15-11:40
Haesaert, Nilsson, Vasile, Rohan, Agha-Mohammadi, Ames, Murray
11:40-12:05
Sadegh Soudjani, Rupak Majumdar
11:00-11:30
Koji Nakazawa, Makoto Tatsuta, Daisuke Kimura
11:30-12:00
Didier Galmiche, Daniel Mery
12:00-12:30
Stéphane Demri, Etienne Lozes, Denis Lugiez
11:00-11:30
Qi Zhou, David Heath, William Harris
12:00-12:30
Makarius Wenzel
12:00-12:15
Pedro Lopez-Garcia, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
11:00-12:00
Doina Precup
12:00-12:30
Davide Bacciu, Daniele Castellana
11:00-11:30
Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin
11:30-12:00
Véronique Bruyère, Quentin Hautem, Jean-Francois Raskin
12:00-12:30
Adrien Le Coent, Kim Guldstrand Larsen, Marco Muniz, Jiri Srba
11:22-11:44
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
11:44-12:06
Marco Baioletti, Alfredo Milani, Valentino Santucci
11:00-11:30
François Bobot, Stephane Graham-Lengrand, Bruno Marre, Guillaume Bury
11:30-12:00
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
12:00-12:30
Tanja Schindler, Dejan Jovanović
11:00-11:20
Francesca Rossi
11:00-11:45
Till Mossakowski
11:45-12:30
Dennis Müller
11:00-11:30
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
12:00-12:30
Rustam Zhumagambetov, Mark Sterling
11:45-12:30
Cristina David
11:00-12:00
Cesare Tinelli
12:30-14:00 FLOC Steering Committee Lunchtime Meeting
14:00-14:25
Tareq Hamadneh, Rafal Wisniewski
14:50-15:15
Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
14:50-15:20
James Brotherston, Max Kanovich
15:20-15:50
Mnacho Echenim, Radu Iosif, Nicolas Peltier
15:00-15:30
Giorgio Delzanno, Sylvain Conchon, Angelo Ferrando
15:00-15:30
Makoto Kanazawa, Tobias Kappé
15:00-15:30
Thomas Brihaye, Mickael Randour, Cédric Rivière
15:06-15:28
Mauro Vallati
14:00-14:30
Arie Gurfinkel, Sharon Shoham, Yakir Vizel
14:30-15:00
Giles Reger, Martin Riener
15:00-15:30
Smt-Comp Organizers
14:00-14:30
Alison Lowndes
14:00-14:45
Catherine Dubois
14:45-15:30
Georges Gonthier
14:30-15:00
Steffen Frerix, Peter Koepke
15:00-15:30
Andreas Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
14:30-15:00
Steffen Frerix, Peter Koepke
15:00-15:30
Andreas Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
14:00-14:30
Lawrence C. Paulson
14:30-15:00
Tom Melham
15:00-15:30
Jasmin Christian Blanchette
14:00-14:30
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
15:00-15:30
Bernhard Gleiss, Simon Robillard, Laura Kovacs
16:00-17:00
Arie Gurfinkel
16:00-16:15
A.H. From, J.B. Larsen, A. Schlichtkrull, J. Villadsen
16:15-16:30
Christian Sternagel
17:00-17:30
Joshua Bockenek, Peter Lammich, Yakoub Nemouchi, Burkhart Wolff
16:30-17:00
Don Sannella
16:00-16:30
George Argyros
17:00-17:30
Nicolas Basset, Oded Maler, Irini-Eleftheria Mens
16:30-17:00
Gilles Geeraerts, Shibashis Guha, Jean-Francois Raskin
17:00-17:30
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
16:00-17:30 SMT-LIB Updates and Discussion
16:00-16:45
Natarajan Shankar
16:45-17:30
Dennis Müller
16:00-17:00
Byron Cook
16:00-16:30
Giles Reger, Martin Riener
16:30-17:00
Giles Reger, Andrew Reynolds, Martin Suda
16:10-16:40
Jens Katelaan, Dejan Jovanović, Georg Weissenbacher
16:40-18:00
Mihaela Sighireanu
17:30-18:00
Magnus Myreen
16:40-17:00
Adnan Darwiche
17:00-18:00
Adnan Darwiche, Stuart Russell, Vasu Singh, Chris Holmes
17:30-18:00 SMT Business meeting
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
19:00-21:30 Workshops dinner at Keble College