==== Journées PPS 2024 ====

Masters of ceremonies:
[[https://www.irif.fr/~gio/index.xhtml|G. Bernardi]], [[https://www.irif.fr/~faggian/|C. Faggian]], [[https://guillaume.baudart.eu/|G. Baudart]], [[https://www.irif.fr/users/lancelot/index|A. Lancelot]]

Where: **Amphi Turing**, basement floor of Sophie Germain

=== Program ===


<panel title="Monday 24th June">

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

// 9:15 — Opening //

** 9:20 ** · [[https://gallium.inria.fr/~scherer/|Gabriel Scherer]] · The free bifibration: proof theory for categories

** 9:40 ** · [[https://www.irif.fr/users/arrial/index|Victor Arrial]] · Genericity Through Stratification

** 10:00 ** · [[https://www.irif.fr/~guatto/|Adrien Guatto]] · Guarded Reduction

** 10:20 ** · [[https://www.irif.fr/users/astyax/index|Astyax Nourel]] · A first-order synchronous language with
modular recursion

// 10:40 — <color #00a2e8>Coffee break</color> (30min) //

** 11:10 ** · [[https://hugo.feree.fr/|Hugo Férée]] · Metaprogramming for functional complexity analysis
 

** 11:30 ** · [[https://www.irif.fr/users/milicich/index|Mariana Milicich]] · Intersection Types as Evaluation Types

** 11:50 ** · [[https://sdouteau.cygale.net/|Sylvain Douteau]] · Gluing and categories

// 12:20 — <color #00a2e8>Lunch</color> //

** 14:00 ** · [[https://www.irif.fr/~jkrivine/|Jean Krivine]] · Reversible semantics of computations as semantics of reversible computations 

** 14:20 ** · [[https://samvangool.net/|Sam van Gool]] ·  Unification for temporal logic via duality 


** 14:40 ** · [[https://www.irif.fr/users/brasseur/index|Léopold Brasseur]] · An attempt at identifying a coherent fragment of differential lambda calculus

** 14:55 ** · [[http://nicolasbehr.com/|Nicolas Behr]] · Tracelet Decomposition Spaces

** 15:15 ** · [[https://www.irif.fr/~ledent/|Jérémy Ledent]] · Higher Dimensional Automata

** 15:35 ** · [[https://guillaume.baudart.eu/|Guillaume Baudart]] · Static analysis for semi-symbolic probabilistic inference.


// 15:55 — End of first day //

** 16:15 ** —  **<color #00a2e8>  Gouter  UFR</color>**

</panel>



<panel title="Tuesday 25th June">

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

// 9:15 — Opening //

** 9:20 **  · [[https://www.irif.fr/~curien/|Pierre-Louis Curien]] · Cut admissibility for a classical sequent calculus based on a single « if then else » connective

** 9:40 ** · [[https://www.irif.fr/users/lancelot/index|Adrienne Lancelot]] · Towards a Quantitative Contextual Equivalence

** 10:00 ** · [[https://www.irif.fr/users/walch/index|Aymeric Walch]] · Coherent differentiation and Taylor expansion

** 10:20 ** · [[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]] · Langages et métalangages à PPS

// 10:40 — <color #00a2e8>Coffee break</color> (30min) //

** 11:10 ** · [[https://geoffroy.re/fr/|Guillaume Geoffroy]] · Non-sequentiality in denotational models of probabilistic languages

** 11:30 ** · [[https://www.irif.fr/users/letouzey/index|Pierre Letouzey ]] · A family of Hofstadter's recursive functions : more on G and beyond

** 11:50 ** · [[https://www.irif.fr/users/saurin/index|Alexis Saurin]] · On the computational interpretation of interpolation theorems: Craig-Lyndon interpolation as cut-introduction in sequent calculus.




// 12:20 — <color #00a2e8>Lunch</color> //

** 14:00 **  **<color #ed1c24>  —  AG PPS</color>**  

**  18:00 ** — **<color #00a2e8>Apero PPS</color>**. Like last year, we propose to close the Journées PPS by all moving to [[https://maps.app.goo.gl/RkXLyxNAgA3352Y17| Le Limousin.]] We will leave IRIF after the AG/around 17:30, please feel free to join us.



</panel>