==== Journées PPS 2018 ====

<panel title="Jeudi 8 novembre · Salle 3052, Bâtiment Sophie Germain">

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

** 9h30 -- 10h ** · Jean-Louis Krivine · {{krivine.pdf|Curry-Howard et choix dépendant}}

** 10h10 -- 10h40 ** · Eric Finster · {{finster.pdf|L'algèbre universelle supérieure dans la théorie des types}}

//10h50 — Pause café//

** 11h10 -- 11h40 ** · Nicolas Behr · {{behr.pdf|Combinatorial conversion and moment bisimulation for stochastic rewriting systems}}

** 11h50 -- 12h20 ** · Réunion de pôle

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

** 14h20 -- 14h50 ** · Delia Kesner · Refined Quantitative Type Systems

** 15h -- 15h30 ** · Jules Chouquet · {{chouquet.pdf|Syntaxe quantitative : le cas du développement de Taylor des réseaux de la logique linéaire}}

** 15h40 -- 16h10 ** · Andrea Aler Tubella · {{alertubella.pdf|New normal forms for proofs via deep inference}}

//16h20	— Pause café//

** 16h40 -- 17h10 ** · Claudia Faggian · Probabilistic Lambda Calculus: What about Confluence?

//17h30 — Gâteau de l'IRIF//

</panel>

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

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

** 9h30 -- 10h ** · Sylvain Perifel · Non-uniformité en complexité algorithmique

** 10h10 -- 10h40 ** · Damiano Mazza · {{mazza.pdf|Non-uniformity in proofs and programs}}

//10h50 — Pause café//

** 11h10 -- 11h40 ** · Pierre Letouzey · {{letouzey.pdf|Un problème d'Hofstadter pour ses lecteurs curieux}}

** 11h50 -- 12h20 ** · Yann Régis-Gianas · {{regis-gianas.pdf|Parsing POSIX [s]hell}}

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

** 14h20 -- 14h50 ** · Mihaela Sighireanu · {{sighireanu.pdf|The Power of Compositional Inductive Definitions in Separation Logic}}

** 15h00 -- 15h30 ** · Exequiel Rivas · Interaction from monadic interfaces

** 15h40 -- 16h10 ** · Léonard Guetta · {{guetta.pdf|Homologie des polygraphes}}

// 16h20 — Pause café //

** 16h40 -- 17h10 ** · Matthieu Sozeau · {{sozeau.pdf|A universe of strict propositions in Type Theory}}

//17h30 — Fin des journées//

</panel>