| 9H30-10H00: | Claudia FAGGIAN Geometry of synchronization |
| 10H00-10H30: | Alexis GOYET A dual calculus for non-innocent games |
| 11H00-11H30: | Roberto AMADIO Certifying and reasoning about cost annotations of functional programs |
| 11H30-12H00: | Guillaume MUNCH-MACCAGNONI Syntaxe et sémantique d'une composition non-associative |
| 12H00-12H30: | Charles GRELLOIS Types intersection et interprétation relationnelle des automates d'arbres |
| 12H30-14H30: | Déjeuner |
| 14H30-15H00: | Alexis SAURIN Éloge de la paresse -- de la réduction linéaire de tête à l'appel par nécessité |
| 15H00-15H30: | Giulio GUERRIERI About solvability in call-by-value lambda-calculus |
| 15H30-16H00: | Jakub ZWOLAKOWSKI Project Aeolus and the quest for an optimal software configuration in the cloud |
| 16H30-17H00: | Yves GUIRAUD Présentations cohérentes de groupes d'Artin |
| 17H00-17H30: | Pierre BOUTILLIER Une machine abstraite pour concilier réduction forte et point fixe |