==== Matinée de rentrée / Come back morning PPS 2022 ====

Organisers: [[https://www.irif.fr/~gio/index.xhtml|G. Bernardi]],[[http://pauillac.inria.fr/~herbelin/|H. Herbelin]]

You can follow all the talks on-line in this [[https://u-paris.zoom.us/j/84381797685?pwd=WG1ZSnhnYi81MnhsTFB6S2krM0E2Zz09|virtual room]].
<panel title="Thursday 06 October">

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

// 10h00 - Round-table //

** 10h07 ** · [[http://pauillac.inria.fr/~herbelin/|H. Herbelin]] · Presentation PPS

** 10h25 ** · [[https://sdouteau.cygale.net/|S. Douteau]] · Stratified Homotopy theory

** 10h55 ** · [[https://www.irif.fr/~milicich|M. Milicich]] · Extending the Quantitative Toolset for Higher-Order Programming Languages

** 11h10 ** · [[https://www.irif.fr/~lancelot|A. Lancelot]] · Call-by-Value, and more - Game Semantics and Cost Models

// 11h25 — Coffee break (20min) //

** 11h45 ** · [[https://www.irif.fr/~walch|A. Walch]] · Coherent differentiation : a deterministic differential calculus

** 12h00 ** · [[https://www.irif.fr/~jubert|M. Jubert]] · The syntax of spheres in Homotopy type theory

** 12h15 ** ·  [[https://www.irif.fr/~manara/|G. Manara]] · Parallel cut elimination for MELL proof nets

** 12h30 ** ·  [[https://www.irif.fr/~giusti|G. Giusti]] · Differentiable Programming, Linear Logic and Lambda-Calculus

** 12h45 ** ·  [[https://www.irif.fr/~didonna|R. Di Donna]] · Separability and injectivity in linear logic

//13h — [[https://www.youtube.com/watch?v=7utY7xwyxmo|Buffet]] outside of Sophie Germain / [[https://www.youtube.com/watch?v=Hns2mF2RGNA|La grande bouffe]] //

</panel>