==== Journées PPS 2020 ====

<panel title="Programme des journées --  Jeudis 1, 8 et 15 octobre 2020, online">

</panel>


<panel title="Jeudi 1 octobre 2020, 10 heures 30, Online">

  * Kostia Chardonnet: Towards a Curry-Howard Correspondence for Quantum Computation

  * El-Mehdi Cherradi: Preuves, programmes et homotopie

  *  Simon Forest: Des constructions génériques pour les catégories supérieures

  * Mickael Laurent: Intégration d'outils de programmation avancés dans un langage avec types ensemblistes

</panel>

<panel title="Jeudi 8 octobre 2020, 10 heures 30, Online">

  * Hugo Herbelin: présentation des axes scientifiques du pôle PPS.

  * Vincent Blazy: Structure fine du Sous-Typage d’Univers en CCI et applications à la certification de programmes et aux Fondements des Mathématiques.

  * Zeinab Galal: A Profonctorial Finiteness Semantics;

  * Farzad Jafar-Rahmani: Denotational semantics of logic with fixed points.

  * Ada Vienot: tba

</panel>

<panel title="Jeudi 15 octobre 2020, 10 heures, Online">

  * Nicolas Behr: Rewriting Theory for the Life Sciences

  * Camille Combe: Combinatoire des permutations généralisées, des objets Fuss-Catalan et structures algébriques associées

  * Hugo Moeneclaey: tba

  * Sylvain Douteau: Stratified homotopy theory

</panel>