FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR THURSDAY, JULY 12TH: 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:30
Christian Doczkal, Guillaume Combette, Damien Pous
10:00-10:30
Yannick Forster, Edith Heiter, Gert Smolka
09:40-10:00
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
10:00-10:20
Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang
10:20-10:40
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
09:20-09:40
Adrien Guatto
10:00-10:20
Koko Muroya, Wai-Tak Cheung, Dan Ghica
10:00-10:30
Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
09:30-10:00
P. Malacaria, M. Khouzani, C. Pasareanu, Q.-S. Phan, K. Luckow
10:00-10:30
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
10:50-11:15
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T Johnson
12:05-12:30
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
10:50-11:15
Kwesi Rutledge, Sze Zheng Yong, Necmiye Ozay
11:15-11:40
Carlos Renato Vazquez, David Gómez-Gutiérrez, Antonio Ramirez-Trevino
11:40-12:05
Gabriella Fiore, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto
12:05-12:30
Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong
11:00-11:30
Vincent Cheval, Veronique Cortier, Mathieu Turuani
11:30-12:00
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
12:00-12:30
Andreas Viktor Hess, Sebastian A. Mödersheim
11:00-11:30
Mauricio Ayala-Rincon, Maribel Fernandez, Daniele Nantes-Sobrinho
11:30-12:00
David Cerna, Temur Kutsia
12:00-12:30
Manfred Schmidt-Schauss, David Sabel
11:00-11:30
Simon Wimmer, Shuwei Hu, Tobias Nipkow
11:30-12:00
Andreas Lochbihler
11:00-11:30
Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal
11:30-12:00
A. Cimatti, A. Griggio, A. Irfan, M. Roveri, R. Sebastiani
11:00-11:30
Martin Brain, Florian Schanda, Youcheng Sun
11:30-12:00
Peter Backeman, Aleksandar Zeljić, Philipp Ruemmer, Christoph M. Wintersteiger
12:00-12:30
Mohamed Iguernlala, Sylvain Conchon, Albin Coquereau
12:00-12:20
Mikołaj Bojańczyk, Szymon Toruńczyk
12:00-12:30
Sean Weaver, Hannah Roberts, Michael Smith
14:00-14:25
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
14:25-14:50
Alina Eqtami, Antoine Girard
15:15-15:40
Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo
14:00-14:25
de Oliveira, Varma, Postoyan, Morarescu, Daafouz, Costa
14:25-14:50
I.C. Morarescu, V.S. Varma, L. Busoniu, S. Lasaulce
15:15-15:40
Xiangyu Meng, Arian Houshmand, Christos G. Cassandras
14:00-15:00 FSCD General Meeting
14:00-15:00
Jean-Christophe Filliâtre
14:00-14:20
Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin
14:20-14:40
Thomas Ferrère, Thomas A Henzinger, N Ege Sarac
14:40-15:00
T. Brazdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, F. Zuleger
15:00-15:20
Brandon Bohrer, André Platzer
14:20-14:40
Damien Pous, Valeria Vignudelli
14:40-15:00
Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
15:00-15:20
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
15:20-15:40
Paul-André Melliès
14:00-14:30
Stepan Kochemazov, Oleg Zaikin
14:30-15:00
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
15:00-15:30
S. Korneev, N. Narodytska, L. Pulina, A. Tacchella, N. Bjorner, M. Sagiv
15:00-15:30
Gergely Kovásznai, Csaba Biró, Balázs Erdélyi
15:00-15:30
Christina Kohl, Aart Middeldorp
15:00-15:30
Zarathustra Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
16:00-16:30
Aoto, Hamana, Hirokawa, Middeldorp, Nagele, Nishida, Shintani, Zankl
16:00-16:30
Joseph Tassarotti, Robert Harper
16:30-17:00
Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
16:00-17:00
Javier Esparza
16:00-16:05
Christoph M. Wintersteiger, Olaf Beyersdorff
16:05-16:33
Fahiem Bacchus, Matti Järvisalo, Ruben Martins
16:33-17:01
Luca Pulina, Martina Seidl
17:01-17:29
Chuan Luo, Holger Hoos
17:29-18:00
Marijn Heule, Matti Järvisalo, Martin Suda
16:30-17:00
Guillaume Bury, David Delahaye, Simon Cruanes
17:00-17:30
Reynolds, Barbosa, Niemetz, Noetzli, Preiner, Barrett, Tinelli
16:10-16:35
A. Krishnan, M.I. Sampath, Y.S.E. Foo, B. Patil, H.B. Gooi
17:00-17:25
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
17:00-17:25
Adrien Le Coent, Laurent Fribourg, Jonathan Vacher
16:30-17:00
Joerg Endrullis, Jan Willem Klop, Roy Overbeek
17:00-17:30
Andrianarivelo Nirina, Pierre Rety
17:00-18:00 ITP Business Meeting
17:30-18:00
Simon Forest, Samuel Mimram
19:45-21:30 ADHS Banquet at Balliol College
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break