| 9h - 10h30 | 11h - 12h30 | 14h - 15h30 | 16h - 17h30 | |
|---|---|---|---|---|
| Mon |
Laurent Regnier (90 mn) |
Phil Scott (90 mn) |
John Power (45 mn) Ryu Hasegawa (45 mn) |
Luigi Santocanale (45 mn) Dan Ghica (45 mn) Andrzej Murawski (30 mn) !!! until 18h00 !!! |
| Tue |
Stephen Brookes (45 mn) Cristiano Calcagno (45 mn) |
Thomas Ehrhard (45 mn) Claudia Faggian (45 mn) |
||
| Wed |
Samson Abramsky (45 mn) Martin Hyland (45 mn) |
Luke Ong (45 mn) Joachim de Lataillade (45 mn) |
||
| Thu |
Russ Harmer (30 mn) Paul Blain Levy (30 mn) Olivier Laurent (30 mn) |
Ian Stark (45 mn) Discussion (45 mn) |
||
| Fri |
Paul-André Melliès (60 mn) Samuel Mimram (30 mn) |
Nicolas Tabareau (30 mn) Andrea Schalk (30 mn) Lutz Strassburger (30 mn) |
| common with Geometry of interaction | |
| common with Higher dimensional rewriting, concurrency and directed homotopy | |
| in parallel with Geometry of interaction | |
| in parallel with Higher dimensional rewriting, concurrency and directed homotopy | |
| no Semantics and Games session (see Geometry of interaction or Higher dimensional rewriting, concurrency and directed homotopy) |