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 |