==== Journées PPS 2023 ====

Organisers: [[https://www.irif.fr/~gio/index.xhtml|G. Bernardi]],[[https://www.irif.fr/~faggian/|C. Faggian]],[[http://pauillac.inria.fr/~herbelin/|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.

<panel title="Thursday 25 May">

/*  ** xxhxx -- xxhxx ** · nom · {{lien|titre}} */


** 9:30 ** · [[https://www.irif.fr/~lancelot|A. Lancelot]] · Normal Form Bisimulations by Value

** 10:15 ** · [[http://nicolasbehr.com/|N. Behr]] · Combinatorics of non-linear rewriting theories via a double-categorical calculus

// 11:00 — Coffee break (30min) //

** 11:30 ** · [[https://fr.linkedin.com/in/guillaume-duboc-52342b98|G. Duboc]] · The Design Principles of the Elixir Type System

** 12:15 ** · [[https://www.irif.fr/~dagand/|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 ** · [[https://www.irif.fr/~walch|A. Walch]] · Cartesian Coherent Differential Categories

** 15:00 ** · [[https://www.irif.fr/~lpeyrot/|L. Peyrot]] · Record polymorphism with set-theoretic types

** 15:30 ** · [[https://www.irif.fr/users/mlaurent/index|M. Laurent]] · Polymorphic type inference for dynamic languages

// 16:00 — Coffee break (30min) //

** 16:30 ** · [[https://www.irif.fr/~abbes/|S. Abbes]] · Making concurrent systems probabilistic

** 17:15 ** · [[https://www.irif.fr/~jch/|J. Chroboczek]] · An introduction to modern videoconferencing techniques: videoconferencing software for the masses.

** 18:00 ** · end of first day 

</panel>



<panel title="Friday 26 May">

** 9:30 ** · [[https://www.irif.fr/users/moreau/index|V. Moreau]] · Profinite lambda-terms and parametricity

** 10:15 ** · [[https://www.irif.fr/~faggian/|C. Faggian]] · Higher Order Bayesian Programming



// 11:00 — Coffee break (30min) //

** 11:30 ** · [[https://www.youtube.com/watch?v=hz5xWgjSUlk|G. Bernardi]] · Something about MUST, if I may

** 12:15 ** · [[https://www.irif.fr/~saurin|A. Saurin]] · What is the (fixed-)point of LL exponentials?

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

** 14:30 ** · [[http://pauillac.inria.fr/~herbelin/|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

</panel>