==== Journée de rentrée PPS 2023 ====

Metteurs en scène: [[https://www.irif.fr/~gio/index.xhtml|G. Bernardi]], [[https://www.irif.fr/~dagand/|P-E. Dagand]], [[https://www.irif.fr/~faggian/|C. Faggian]], [[http://pauillac.inria.fr/~herbelin/|H. Herbelin]]

Logistique: [[https://www.irif.fr/users/avci/index|O. Avci]]

<panel title="Thursday 19th October 2023">

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

// 09h00 — [[https://www.youtube.com/watch?v=UGtKGX8B9hU|Coffee]] and Round-table //

** 09h45 ** · [[https://www.irif.fr/~gmanzone/|G. Manzonetto]] · A syntactic and semantic analysis of program equivalences

** 10h20 ** · [[http://vanoni.me/|G. Vanoni]] · Higher-Order Bayesian Networks, Exactly

// 10h45 — Coffee [[https://www.youtube.com/watch?v=xYasQKrzJQI|break]] //

** 11h10 ** ·  [[/ |A. De Faveri]] · Algebras, clones, and applications

** 11h25 ** · [[https://quentin.aristote.fr/|Q. Aristote]] · Compositionality in effectful programming

** 11h40 ** · [[https://www.irif.fr/users/arambillete/index|S. Arambillete]] · Fibered/indexed and the language of mathematics

** 11h55 ** ·  [[https://www.irif.fr/~djuric/|A. Djuric]] · Formalisation of some elements of the foundations of Garside theory


<!--  ** 12h00 ** · [[https://jeremie-marques.name/|J. Marquès]] · [[https://www.youtube.com/watch?v=j8uODpt79Ak|The sick note ?]] ·Continuous categorical logic -->

// 12h35 — [[https://www.youtube.com/watch?v=YoLEx-AfYwk|Lunch]] //

** 14h15 ** · [[https://www.irif.fr/~ledent/|J. Ledent]] · Compositional Systems through the Lens of Polynomial Functors

** 14h40 ** ·  [[https://gallium.inria.fr/~scherer/|G. Scherer]] · Constructor unboxing

// 15h25  —  End of the PPS talks  (in time for the NP---non-permanent members--- Introductory Session in room 1007!)//

** 17h00 ** ·  IRIF [[https://www.youtube.com/watch?v=dn2vyORpuyw|CAKE]]
</panel>