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