Jeudi 12 octobre · Salle 3052, Bâtiment Sophie Germain

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 !

Vendredi 13 octobre · Salle 3052, Bâtiment Sophie Germain

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