FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR SATURDAY, JULY 7TH: 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
22:00
10:00-10:30
Anthony Cantor, Aaron Stump
10:00-10:30
Michael Fourman
09:00-10:00
Samson Abramsky
10:00-10:30
Radha Jagadeesan
10:00-10:30
Benjamin Dupont, Philippe Malbos
09:00-09:30
Paul-André Melliès
09:20-09:55
Jiaming Jiang, Harley Eades Iii, Valeria de Paiva
09:55-10:30
Giulio Guerrieri, Giulio Manzonetto
10:00-10:30
Nino Amiridze, Temur Kutsia
09:00-09:15
David Baelde, Alexis Saurin
09:15-10:30
James Brotherston
09:00-09:30
Thorsten Ehlers, Dirk Nowotka
09:30-10:00
Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber
09:00-10:00
Willem Heijltjes
10:00-10:30
Joseph Paulus, Willem Heijltjes
09:00-10:00
Silvio Ghilardi
10:00-10:30
Joerg Siekmann, Peter Szabo
10:00-10:30
Maciej Bendkowski, Pierre Lescanne
11:30-12:00
Gordon Plotkin
12:00-12:30
Glynn Winskel
11:30-12:00
Pedro Tamaroff
11:00-11:30
Andreas Nuyts, Dominique Devriese
12:00-12:30
L. Birkedal, R. Clouston, B. Mannaa, R. Møgelberg, A. Pitts, B. Spitters
11:00-11:30
Nohra Hage, Philippe Malbos
11:30-12:00
Simon Forest
12:00-12:30
Cyrille Chenavier
12:00-12:20
Kaustuv Chaudhuri, Ulysse Gérard, Dale Miller
12:20-12:40
Francesco Komauli, Alberto Momigliano
12:00-12:30
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
12:00-12:35
Wen Kokke, Fabrizio Montesi, Marco Peressotti
11:30-12:00
Tao Xue, Zhaohui Luo, Stergios Chatzikyriakidis
12:00-12:30
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
11:00-11:30
Adrian Rebola Pardo, Armin Biere
11:30-12:00
Michał Karpiński, Marek Piotrów
12:00-12:30
Jan Elffers, Jakob Nordstrom
11:00-11:30
Nachum Dershowitz, Jean-Pierre Jouannaud
12:00-12:30
Mitsuhiro Okada, Yuta Takahashi
11:30-12:00
Bjoern Lellmann, Elaine Pimentel, Revantha Ramanayake
11:00-11:30
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
11:30-12:00
Ajay Kumar Eeralla, Christopher Lynch
15:00-15:30
Paul-André Melliès
14:30-15:00
Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp
15:00-15:30
Christian Sternagel, Sarah Winkler
14:00-14:30
Matrín Copes, Nora Szasz, Alvaro Tasistro
15:00-15:20
David Feller, Joe Wells, Sébastien Carlier, Fairouz Kamareddine
14:55-15:30
Masahito Hasegawa
15:00-15:30
Aikaterini-Lida Kalouli, Richard Crouch, Valeria de Paiva, Livy Real
14:00-14:45
Sorin Stratulat
14:45-15:30
David Cerna, Michael Lettmann
14:00-14:40
Neil Ghani, Jules Hedges, Philipp Zahn, Viktor Winschel
15:00-15:30
Wolfram Kahl, Yuhang Zhao
14:00-15:00
Alessio Guglielmi
15:00-15:30
Franz Baader, Pavlos Marantidis, Antoine Mottet
16:00-16:30
Matteo Manighetti, Andrea Condoluci
16:00-16:25
Thomas Cottrell, Soichiro Fujii, John Power
16:25-16:50
Abbas Edalat, Mehrdad Maleki
16:00-16:30
James Laird
16:00-16:30
Richard Statman
17:00-17:30
Cyrille Chenavier, Christophe Cordero, Samuele Giraudo
17:30-18:00
Antonin Delpeuch, Jamie Vicary
16:30-17:00
Damiano Mazza, Domenico Ruoppolo
16:00-16:30
Kousuke Fukui, Koji Nakazawa
16:30-17:30
Nao Hirokawa, Aart Middeldorp
17:00-17:30
Rodolphe Lepigre, Christophe Raffalli
16:00-16:30
Jade Alglave, Simon Castellan, Jean-Marie Madiot
16:30-17:00
Guillaume Combette, Guillaume Munch-Maccagnoni
17:30-18:00
Paul Blain Levy
17:35-18:10
Luca Paolini, Luca Roversi, Margherita Zorzi
16:00-16:30
Hai Hu, Thomas Icard, Larry Moss
17:00-17:30
Inari Listenmaa, Koen Claessen
17:30-18:00
V. de Paiva, A. Rademaker, L. Real, F. Chalub, G. de Melo
17:15-18:00
Patrick Bahr, Bassel Mannaa, Rasmus Ejlers Møgelberg
16:00-17:00
Sam Buss
17:00-17:20
Stefan Dantchev, Nicola Galesi, Barnaby Martin
16:00-16:30
Markus Iser, Carsten Sinz
16:30-17:00
Armin Biere, Marijn Heule
17:00-17:30
Jan Elffers, Jesus Giráldez-Cru, Stephan Gocht, Jakob Nordstrom, Laurent Simon
17:45-18:00
Matti Järvisalo
16:00-16:40
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
16:40-17:20
Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael Wooldridge
17:20-18:00
N. Basset, I. Jecker, A. Pauly, J.-F. Raskin, M. Van Den Bogaard
16:30-17:00
Nneka Ene
17:30-18:00
Lee Barnett, David Plaisted
16:00-16:30
Cleo Pau, Temur Kutsia
17:00-17:30
Yunus David Kerem Kutz, Manfred Schmidt-Schauss
17:30-17:50
Kasper Fabæch Brandt, Anders Schlichtkrull, Jørgen Villadsen
17:50-18:10
Weixi Ma, Jeremy Siek, David Christiansen, Daniel Friedman
17:00-18:00 Remembering Klaus Keimel
17:00-18:00 Special session in honour of Kris Rose
18:10-18:40 UNIF 2018 Wrap Up
19:00-21:00 UNIF Dinner
19:00-21:00 LFMTP Dinner
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
19:45-22:00 Workshops dinner at Balliol College