FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR WEDNESDAY, JULY 18TH: 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
10:00-10:30
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
09:00-09:50
Michael Tautschnig
09:00-09:10
Marc Denecker
09:50-10:30
Nicola Leone, Bernardo Cuteri, Marco Manna, Kristian Reale, Francesco Ricca
09:00-10:05
Bruno Courcelle, Irène Durand
10:05-10:30
Tomas Fiedor, Lukas Holik, Petr Janku, Ondrej Lengal, Tomas Vojnar
09:00-09:45
Pushmeet Kohli
09:45-10:30
Earl Barr
09:45-10:30
Federico Igne, Agostino Dovier, Enrico Pontelli
10:00-10:30
Graeme Smith, Kirsten Winter, Robert Colvin
09:45-10:30
Stephen H. Muggleton
09:00-09:30
Anders Schlichtkrull, Jørgen Villadsen, Andreas Halkjær From
09:30-10:00
Jørgen Villadsen, Andreas Halkjær From, Anders Schlichtkrull
10:00-10:30
Nuno Baeta, Pedro Quaresma
09:00-09:30
Jochen Hoenicke, Alexander Nutz, Andreas Podelski
11:00-11:30
Eugenio Orlandelli, Giovanna Corsi
11:00-11:30
Anthony Leclerc, Patrick Kahl
11:30-12:00
Manuel Bichler, Michael Morak, Stefan Woltran
12:00-12:30
Chiaki Sakama, Hien Nguyen, Taisuke Sato, Katsumi Inoue
11:30-12:00
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
11:20-11:30
David S. Warren
11:30-11:40
R. Costabile, A. Fiorentino, N. Leone, M. Manna, K. Reale, F. Ricca
12:10-12:20
Yanhong A. Liu, Scott Stoller
12:20-12:30
All Workshop Participants
11:00-12:05
Joachim Kneis, Alexander Langer, Peter Rossmanith
11:45-12:30
Liam Atkinson
11:00-11:45
J. Dohrau, A. Summers, C. Urban, S. Münger, P. Müller
11:45-12:30
Yatin Manerkar, Daniel Lustig, Margaret Martonosi, Michael Pellauer
11:30-12:00
Marwa Ben Abdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili
11:00-11:18
Thibaud Michaud, Maximilien Colange
11:18-11:36
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Leander Tentrup
11:36-11:54
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
11:54-12:12
Zexiang Liu, Necmiye Ozay, Nicolas Perrin
12:12-12:30
Abate, Bessa, Cattaruzza, Cordeiro, David, Kesseli, Kroening, Polgreen
11:00-11:45
William Schultz
11:45-12:30
Igor Konnov, Jure Kukovec, Thanh Hai Tran
11:00-11:30
Arie Gurfinkel, Temesghen Kahsai, Jorge A Navas
11:30-12:00
Pritom Rajkhowa, Fangzhen Lin
12:00-12:30
K. Even-Mendoza, S. Asadi, A. Hyvärinen, H. Chockler, N. Sharygina
11:30-12:00
T.S. Hoang, N. Sato, T. Myojin, M. Butler, Y. Nakagawa, H. Ogawa
12:00-12:30
Julian Padget, Marina De Vos, Charlie Page
11:00-11:30
Cristina David, Daniel Kroening, Peter Schrammel
11:30-12:00
Nachum Dershowitz, Jean-Pierre Jouannaud
14:30-15:00
Aaron Bembenek, Stephen Chong
14:00-14:30
Panelists - All Morning Speakers
15:10-15:20
Neng-Fa Zhou, Håkan Kjellerstrand
15:00-15:30
Eugenia Ternovska
14:00-14:45
Rishabh Singh
14:00-14:45
Thorsten Ehlers, Dirk Nowotka
14:45-15:30
Muhammad Osama, Anton Wijs
14:00-14:18
Rohin Shah, Sumith Kulal, Rastislav Bodik
14:18-14:36
Dennis Peuter, Viorica Sofronie-Stokkermans
14:36-14:54
Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
14:00-14:30
Maximilian Doré, Krysia Broda
15:00-15:30
Milad Ketab Ghale, Dirk Pattinson, Ramana Kumar
14:00-15:00
Jérémie Guiochet
15:00-15:30
Bruno Lacerda, David Parker, Nick Hawes
14:00-14:30
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
15:00-15:30
Ahmad-Saher Azizi-Sultan
16:30-17:00
Alexander Steen, Christoph Benzmüller
16:30-17:00
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie McCann
17:00-17:30
Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke
16:00-16:30
Filipe Gouveia, Ines Lynce, Pedro T. Monteiro
17:20-17:50
Panelists - All Afternoon Speakers
17:50-18:00
Tuncay Tekle, Marc Denecker
17:15-17:40
Sabine Bauer
16:45-17:15
Ian Wright, Jean Helie, Albert Ziegler
17:15-17:45
Ezra Winston, Bhuwan Dhingra, Kathryn Mazaitis, Graham Neubig, William Cohen
16:00-17:00
Alexandre Chapoutot
16:45-17:30
Loredana Sorrentino, Aniello Murano, Rossella Arcucci, Umberto Marotta
16:00-16:30
Emil Sekerinski, Shucai Yao
16:45-17:00
Swen Jacobs
17:00-17:15
Dana Fisman
17:15-18:00
Martin Vechev
16:00-16:45
Yanhong A. Liu, Scott D. Stoller, Saksham Chand, Xuetian Weng
16:45-17:30
Ioannis Filippidis, Richard M. Murray
16:00-17:00
Pedro Quaresma, Walther Neuper
16:00-16:30
H. Férée, J.. Pohjola, R. Kumar, S. Owens, M.O. Myreen, S. Ho
16:30-17:00
Brandon Bohrer, Karl Crary
17:00-17:30
Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert
17:30-18:00
Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif
16:00-16:30
Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
16:30-17:00
Mohammed Al-Nuaimi, Hongyang Qu, Sandor Veres
16:00-18:00 Termination Competition (report and short talks)
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
19:15-21:30 Workshops dinner at Magdalen College