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

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

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