| 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 | ||||