Journées PPS 2020
Programme des journées -- Jeudis 1, 8 et 15 octobre 2020, online
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
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
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