Journées PPS 2017 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