9:30 · A. Lancelot · Normal Form Bisimulations by Value

10:15 · N. Behr · Combinatorics of non-linear rewriting theories via a double-categorical calculus

11:00 — Coffee break (30min)

11:30 · G. Duboc · The Design Principles of the Elixir Type System

12:15 · P-E. Dagand · Manufacturing Cons-cells: from numbers to datastructures (joint work with Pierre L.)

13:00 — Lunch (where? at the entrance of the amphi)

14:30 · A. Walch · Cartesian Coherent Differential Categories

15:00 · L. Peyrot · Record polymorphism with set-theoretic types

15:30 · M. Laurent · Polymorphic type inference for dynamic languages

16:00 — Coffee break (30min)

16:30 · S. Abbes · Making concurrent systems probabilistic

17:15 · J. Chroboczek · An introduction to modern videoconferencing techniques: videoconferencing software for the masses.

18:00 · end of first day

9:30 · V. Moreau · Profinite lambda-terms and parametricity

10:15 · C. Faggian · Higher Order Bayesian Programming

11:00 — Coffee break (30min)

11:30 · G. Bernardi · Something about MUST, if I may

12:15 · A. Saurin · What is the (fixed-)point of LL exponentials?

13:00 — Lunch (at the entrance of the amphi)

14:30 · H. Herbelin · Language translations in PPS (categories, operads, abstract clones, distributors and adjunctions in the language of typing systems)

15:00 · Presentation GTs / ANRs

15:45 · Scientific discussion

• feedback on the j.pps
• organisation of GTs
• call for « distinguished » speakers

16:00 — Coffee break

16:30 · AG PPS

• miscellaneous informations (10 minutes)
• communication tools in the pole (10 minutes)
• tour de table on the “climate urgency” (40 minutes)

18:00 · end of PPS days 2023