FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR SUNDAY, JULY 8TH: 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
09:00-10:00
Zachary Tatlock
09:40-10:05
Matthijs Vákár, Ohad Kammar, Sam Staton
09:00-09:10
Barbara Kordy
10:10-10:30
Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
09:00-09:45
Beniamino Accattoli
09:45-10:30
Martin Avanzini
09:30-10:00
Gabriel Scherer
09:55-10:15
Luc Pellissier, Thomas Seiller
09:00-10:00
Tamara von Glehn
09:00-10:30
Marcin Jurdziński
09:15-10:30
Bahareh Afshari
09:30-10:30
Jean-Pierre Jouannaud
11:00-11:45
Ekaterina Komendantskaya
11:00-11:30
Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling, Pierre-Yves Strub
12:00-12:30
Olivier Laurent
11:00-11:30
Paola Giannini, Marco Servetto, Elena Zucca
11:30-12:00
Adrian Francalanza, Marco Giunti, António Ravara
11:40-12:05
Gabriel Ciobanu, Eneia Nicolae Todoran
12:05-12:30
Paul Blain Levy, Ohad Kammar
11:00-11:30
Jiaming Jiang, Rada Chirkova, Jon Doyle, Arnon Rosenthal
11:30-12:00
Alexandre Debant, Stephanie Delaune, Cyrille Wiedling
12:00-12:30
M.A. Alturki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott
11:30-12:00
Takeshi Tsukada
12:00-12:30
Glynn Winskel
11:00-11:45
Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith
11:45-12:30
S. Chockalingam, W. Pieters, A. Teixeira, N. Khakzad, P. van Gelder
12:00-12:30
Felix Wellen
11:00-11:45
Luigi Liquori
11:45-12:30
N.N. Tba
11:30-12:00
Simona Ronchi Della Rocca, Daniele Pautasso
12:00-12:20
Marie Kerjean, Yoann Dabrowski
11:00-11:30
Joshua Blinkhorn, Olaf Beyersdorff, Luke Hinde
11:30-11:50
Judith Clymo
11:50-12:10
Martina Seidl, Manuel Kauers
12:10-12:30
Olaf Beyersdorff
11:00-11:30
Joshua Blinkhorn, Olaf Beyersdorff, Luke Hinde
11:30-11:50
Judith Clymo
11:50-12:10
Martina Seidl, Manuel Kauers
12:10-12:30
Olaf Beyersdorff
11:00-12:30
Marcin Jurdziński
11:30-12:00
Manfred Schmidt-Schauss, Nils Dallmeyer
11:00-11:15
Liron Cohen, Ariel Kellison
11:45-12:00
Sonia Marin, Marianela Morales, Lutz Straßburger
11:30-12:00
Neel Krishnawami
12:00-12:30
Marco Gaboardi
15:00-15:30
Coq Development Team
14:40-15:05
Michael Mislove
14:30-15:00
Daniel Dougherty, Joshua Guttman, John Ramsdell
15:00-15:30
Paventhan Vivekanandan
14:30-15:00
Tom Hirschowitz
14:00-14:45
Mansoor Ahmed, Ilia Shumailov, Ross Anderson
14:45-15:30
Maxime Audinot, Sophie Pinchinat, Francois Schwarzentruber, Florence Wacheux
14:00-14:30
K.-B. Hou Favonia, C. Angiuli, E. Cavallo, R. Harper, J. Sterling
15:00-15:30
Edward Morehouse
14:00-14:30
Helene Kirchner
15:15-15:30
Georg Moser
15:00-15:30
Pedro Ângelo, Mário Florido
15:00-15:30
Maribel Fernandez
14:20-14:55
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
15:00-15:30
Jeremy Gibbons, Guillaume Boisseau
14:00-15:15
James Brotherston
14:00-14:20
Ralf Wimmer, Sven Reimer, Karina Wimmer, Christoph Scholl, Bernd Becker
15:00-15:20
Matthias van der Hallen, Gerda Janssens
15:20-15:25
Simon Cooksey, Mark Batty, Radu Grigore, Mikolas Janota
14:00-14:40
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
14:40-15:20
Antonio Di Stasio, Aniello Murano, Moshe Vardi
15:00-15:30
Christian Herrera, Tewodros A. Beyene, Vivek Nigam
15:00-15:15
Giselle Reis
14:30-15:00
Samuel Buss, Valentine Kabanets, Antonina Kolokolova, Michal Koucky
16:45-17:30
Samson Abramsky
16:30-17:00
Cyprien Mangin, Matthieu Sozeau
17:30-18:00
Lasse Blaauwbroek
16:00-16:30
Nachum Dershowitz
16:00-16:25
M. Andrew Moshier, Imanol Mozo Carollo
16:25-16:50
Achim Jung, Alexander Kurz, M. Andrew Moshier
16:30-17:00
Marc De Visme, Pierre Clairambault, Glynn Winskel
17:00-17:30
Aurore Alcolei, Pierre Clairambault, Olivier Laurent
17:30-18:00
Andrzej Murawski
16:45-17:30
Harley Eades Iii, Jiaming Jiang, Aubrey Bryant
17:30-18:00
Barbara Kordy
16:00-16:30
Jonathan Weinberger, Ulrik Buchholtz
16:00-17:30 Business Meeting
16:00-17:00
Brigitte Pientka
17:20-17:55
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic
16:45-17:30
Conor McBride
17:00-17:30
Mareike Dressler, Adam Kurpisz, Timo de Wolff
17:30-17:50
Maria Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
16:00-16:20
Markus Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
16:20-16:40
Holger Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
16:40-16:45
Florian Lonsing
16:50-16:55
Friedrich Slivovsky
16:55-17:20
Luca Pulina
17:20-18:00
Hubie Chen, Florian Lonsing, Martina Seidl
16:00-16:40
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
16:40-17:20
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi
17:20-18:00
Patrick Gardy, Patricia Bouyer, Nicolas Markey
16:15-16:30
Hanna Lachnitt, Christoph Benzmüller, Maximilian Claus
17:00-18:00 Priorities for Diversity in Logic in Computer Science (round table discussion)
17:15-17:30 Closing
18:30-20:30 Women in Logic reception
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break