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
09:00-10:00
Naoki Kobayashi
09:00-10:00
Henning Christiansen, Maja Hanne Kirkeby
09:20-09:55
Jiaming Jiang, Harley Eades Iii, Valeria de Paiva
09:30-10:00
Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber
10:00-10:30
Maciej Bendkowski, Pierre Lescanne
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
12:00-12:20
Kaustuv Chaudhuri, Ulysse Gérard, Dale Miller
12:20-12:40
Francesco Komauli, Alberto Momigliano
11:30-12:00
Yannick Forster, Dominique Larchey-Wendling
12:00-12:30
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
11:30-12:00
Tao Xue, Zhaohui Luo, Stergios Chatzikyriakidis
12:00-12:30
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
11:45-12:30
Florian Bruse, Martin Lange, Etienne Lozes
11:30-12:00
Michał Karpiński, Marek Piotrów
11:00-11:30
Nachum Dershowitz, Jean-Pierre Jouannaud
11:00-11:30
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
14:00-14:40
Ulrich Berger
15:05-15:30
Hideki Tsuiki, Arno Pauly
14:00-14:30
Naoki Nishida, Yuta Tsuruta, Yoshiaki Kanazawa
14:30-15:00
Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp
14:00-14:30
Matrín Copes, Nora Szasz, Alvaro Tasistro
14:30-15:00
Ernesto Copello, Nora Szasz, Alvaro Tasistro
15:00-15:20
David Feller, Joe Wells, Sébastien Carlier, Fairouz Kamareddine
14:20-14:55
Lionel Vaux Auclair, Federico Olimpieri
14:00-15:00
Aurelie Herbelot
15:00-15:30
Aikaterini-Lida Kalouli, Richard Crouch, Valeria de Paiva, Livy Real
15:00-15:30
Alexander Knop
14:30-15:00
Emir Demirović, Peter J. Stuckey
15:00-15:30
Dmitry Malioutov, Kuldeep S. Meel
15:00-15:30
Thibaut Benjamin
15:00-15:30
Flavien Breuvart
15:00-15:30
Genki Sato
16:00-16:30
Matteo Manighetti, Andrea Condoluci
16:00-16:25
Thomas Cottrell, Soichiro Fujii, John Power
17:00-17:30
John Longley
17:00-17:30
Cyrille Chenavier, Christophe Cordero, Samuele Giraudo
17:00-17:30
Rodolphe Lepigre, Christophe Raffalli
16:00-16:30
Jade Alglave, Simon Castellan, Jean-Marie Madiot
17:00-17:30
Tõnn Talvik, Tarmo Uustalu
16:30-17:00
Davide Catta, Richard Moot, Christian Retoré
16:00-17:15
Pierre Hyvernat
17:00-17:20
Stefan Dantchev, Nicola Galesi, Barnaby Martin
17:20-17:40
Fedor Part, Iddo Tzameret
17:00-17:30
Jan Elffers, Jesus Giráldez-Cru, Stephan Gocht, Jakob Nordstrom, Laurent Simon
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:00-16:30
Sophie Tourret, Andrew Cropper
16:30-17:00
David Cerna, 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