FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR MONDAY, JULY 16TH: 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:00-09:15
H. Arndt, C. Jansen, J.-P. Katoen, C. Matheja, T. Noll
09:15-09:30
Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller
09:30-09:45
Andrew Gacek, John Backes, Michael Whalen, Lucas Wagner, Elaheh Ghassabani
09:45-10:00
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
10:00-10:15
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Vardi
10:15-10:30
D. Blotsky, F. Mora, M. Berzish, Y. Zheng, I. Kabir, V. Ganesh
09:00-09:30
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
10:00-10:30
M. Alviano, C. Dodaro, M. Järvisalo, M. Maratea, A. Previti
10:00-10:30
Bacci, Guldstrand Larsen, Markey, Bouyer-Decitre, Fahrenberg, Reynier
11:00-11:30
Ian J. Hayes, Larissa Meinicke
12:00-12:30
Daniel Fava, Martin Steffen, Volker Stolz
11:30-12:00
Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang
12:00-12:30
P. Berger, J.-P. Katoen, E. Ábrahám, M.T.B. Waez, T. Rambow
11:00-11:30
M. Gebser, P. Obermeier, M. Ratsch-Heitmann, M. Runge, T. Schaub
11:00-11:30
Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
11:30-12:00
Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
11:30-12:30 ALP General Meeting
12:00-12:15
J. Dohrau, A.J. Summers, C. Urban, S. Münger, P. Müller
12:15-12:30
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
16:00-16:30
Andrea Vandin, Maurice H. Ter Beek, Axel Legay, Alberto Lluch Lafuente
16:30-17:00
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
17:00-17:30
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
17:30-18:00
Laura Titolo, Mariano Moscato, Cesar Munoz, Aaron Dutle, Francois Bobot
16:30-17:00
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
17:00-17:30
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
17:30-18:00
Hana Chockler, Shibashis Guha, Orna Kupferman
16:00-18:00 Programming Competition
17:30-18:30
Geoff Suttcliffe
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
16:00-18:00 Oxford Union Debate: Ethics & Morality of Robotics
19:00-21:30 FLoC banquet at Ashmolean Museum