9h — Café & croissant collectif
9h30 – 10h · Hugo Herbelin · Autour de la complétude de Gödel : mathématiques à rebours et contenus calculatoires, avec et sans effets
10h10 – 10h40 · Pierre Vial · Infinitary Intersection Types as Sequences: a New Answer to Klop's Problem
10h50 — Pause café
11h10 – 11h40 · Jean-Jacques Lévy · Preuves semi-automatiques d’algorithmes de graphes
11h50 – 12h20 · Victor Lanvin · Gradual set-theoretic types
12h30 — Buffet au lobby du 4ème étage
14h20 – 14h50 · Samy Abbes · La légèreté markovienne des empilements infinis
15h – 15h30 · Jean Krivine · Fully dynamic sub-graph isomorphism
15h40 – 16h10 · Nicolas Jeannerod · Unix filesystem and graph constraints
16h20 — Pause café
16h50 – 17h20 · Hadrien Batmalle · Du forcing à la réalisabilité classique: une nouvelle approche
17h30 – 18h · Juliusz Chroboczek · Qu'est-ce que l'IETF, et que diable allais-je y faire
18h — Champagne !
9h — Café & croissant collectif
9h30 – 10h · Samuel Mimram · Tietze equivalences as weak equivalences
10h10 – 10h40 · Pierre Cagne · Bifibrations de Grothendieck et catégories modèles de Quillen
10h50 — Pause café
11h10 – 11h40 · Patrick Dehornoy · Normalisation quadratique dans les monoïdes
11h50 – 12h20 · Bérénice Delcroix-Oger · Théorème de rigidité : des lois distributives aux lois de confluence
12h30 — Buffet au lobby du 4ème étage
14h20 – 14h50 · Michele Pagani · Stabilité et programmes probabilistes
15h – 15h30 · Daniela Petrisan · Automata in glued vector spaces
15h40 – 16h10 · Alexis Saurin · Logiques à points fixes, preuves infinies et fils rebondissants
16h20 — Pause café
16h50 – 17h20 · Rémi Nollet · Vers une présentation très finie de preuves infinies
17h30 – 18h · Paul-André Melliès · Higher-order parity automata
18h — Fin des journées