==== Journées PPS 2017 ====

<panel title="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 · {{vial.pdf|Infinitary Intersection Types as Sequences: a New Answer to Klop's Problem}}

//10h50 — Pause café//

** 11h10 -- 11h40 ** · Jean-Jacques Lévy · {{levy.pdf|Preuves semi-automatiques d’algorithmes de graphes}}

** 11h50 -- 12h20 ** · Victor Lanvin · {{lanvin.pdf|Gradual set-theoretic types}}

//12h30 — Buffet au lobby du 4ème étage//

** 14h20 -- 14h50 ** · Samy Abbes · {{abbes.pdf|La légèreté markovienne des empilements infinis}}

** 15h -- 15h30 ** · Jean Krivine · {{krivine.pdf|Fully dynamic sub-graph isomorphism}}

** 15h40 -- 16h10 ** · Nicolas Jeannerod · {{jeannerod.pdf|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 !//

</panel>

<panel title="Vendredi 13 octobre · Salle 3052, Bâtiment Sophie Germain">

//9h — Café & croissant collectif//

** 9h30 -- 10h ** · Samuel Mimram · {{mimram.pdf|Tietze equivalences as weak equivalences}}

** 10h10 -- 10h40 ** · Pierre Cagne · {{cagne.pdf|Bifibrations de Grothendieck et catégories modèles de Quillen}}

//10h50 — Pause café//

** 11h10 -- 11h40 ** · Patrick Dehornoy · {{dehornoy.pdf|Normalisation quadratique dans les monoïdes}}

** 11h50 -- 12h20 ** · Bérénice Delcroix-Oger · {{delcroix-oger.pdf|Théorème de rigidité : des lois distributives aux lois de confluence}}

//12h30 — Buffet au lobby du 4ème étage//

** 14h20 -- 14h50 ** · Michele Pagani · {{pagani.pdf|Stabilité et programmes probabilistes}}

** 15h -- 15h30 ** · Daniela Petrisan · {{petrisan.pdf|Automata in glued vector spaces}}

** 15h40 -- 16h10 ** · Alexis Saurin · {{saurin.pdf|Logiques à points fixes, preuves infinies et fils rebondissants}}

// 16h20 — Pause café //

** 16h50 -- 17h20 ** · Rémi Nollet · {{nollet.pdf|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//

</panel>