Program

Nov 5 (Tue) Nov 6 (Wed) Nov 7 (Thu) Nov 8 (Fri)
9:15–9:30 welcome
9:30–10:30 Alessio Guglielmi Sara Negri Claudio Sacerdoti Coen Chad Brown
(Joint Invited Talk)
10:30–10:45 break PSATTT
Proof Structures
(chair: Lutz Straßburger)
Algebra
(chair: Alex Simpson)
Logical Frameworks
(chair: Kaustuv Chaudhuri)
10:45–11:15 Richard McKinley Roy Dyckhoff Iliano Cervesato &
Jorge Luis Sacchini
11:15–11;45 Willem Heijltjes &
Robin Houston
Anupam Das Amy Felty,
Alberto Momigliano &
Brigitte Pientka
11:45–12:15 Roman Kuznets George Metcalfe Fabien Renaud,
Dale Miller &
Zakaria Chihani
 
12:15–13:45 Lunch at LIX
 
13:45–14:45 Alex Simpson Dominic Hughes Herman Geuvers
14:45–15:00 break
Resources & Loops
(chair: Dale Miller)
STRUCTURAL
(chair: Sara Negri)
Types & Computation
(chair: Stéphane Graham-Lengrand)
15:00–15:30 Sorin Stratulat Stefan Hetzl &
Daniel Weller
Danko Ilik
15:30–16:00 Richard Moot Matthias Baaz Noam Zeilberger
16:00–16:30 Thomas Studer Sebastian Eberhard &
Stefan Hetzl
José Espírito Santo,
Ralph Matthes,
Koji Nakazawa &
Luís Pinto
16:30–16:45 break
16:45–17:45 James Brotherston Agata Ciabattoni Cezary Kaliszyk
17:45–18:15 Roberto Maieli Nicolas Guenot
 
  Colloquium Dinner in Orsay