9h — Café & croissant collectif

9h30 – 10h · Jean-Louis Krivine · Curry-Howard et choix dépendant

10h10 – 10h40 · Eric Finster · L'algèbre universelle supérieure dans la théorie des types

10h50 — Pause café

11h10 – 11h40 · Nicolas Behr · 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 · Syntaxe quantitative : le cas du développement de Taylor des réseaux de la logique linéaire

15h40 – 16h10 · Andrea Aler Tubella · 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

9h — Café & croissant collectif

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

10h10 – 10h40 · Damiano Mazza · Non-uniformity in proofs and programs

10h50 — Pause café

11h10 – 11h40 · Pierre Letouzey · Un problème d'Hofstadter pour ses lecteurs curieux

11h50 – 12h20 · Yann Régis-Gianas · Parsing POSIX [s]hell

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

14h20 – 14h50 · Mihaela Sighireanu · The Power of Compositional Inductive Definitions in Separation Logic

15h00 – 15h30 · Exequiel Rivas · Interaction from monadic interfaces

15h40 – 16h10 · Léonard Guetta · Homologie des polygraphes

16h20 — Pause café

16h40 – 17h10 · Matthieu Sozeau · A universe of strict propositions in Type Theory

17h30 — Fin des journées