Organisers: G. Bernardi,C. Faggian,H. Herbelin
Where? Amphi 9E of the Halle aux Farines.
Due to logistical unknowns, the PPS days will take place only in physical mode (i.e. no on-line talks).
The slides of the presentations will appear in due time.
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
16:00 — Coffee break
16:30 · AG PPS
18:00 · end of PPS days 2023