doctorants
mercredi 28 novembre 2018, 11h00, Salle 3052
Cédric Ho Thanh (IRIF) Type theoretical approach to opetopes

hdr
mercredi 28 novembre 2018, 14h00, Salle 2014 du Bâtiment Sophie Germain
Enrica Duchi (IRIF) Polyominoes, permutominoes and permutations

cat
vendredi 01 février 2019, 14h00, Salle 1007
Yves Guiraud (IRIF) Résolutions polygraphiques dans les algèbres différentielles graduées

these
vendredi 07 décembre 2018, 14h00, Salle François Jacob, bâtiment Buffon
Pierre Cagne (IRIF) Towards a homotopical algebra of dependent types

these
vendredi 08 avril 2016, 10h00, Salle 2011, Sophie Germain
Charles Grellois (IRIF) Sémantique de la logique linéaire et model-checking d'ordre supérieur

automates
vendredi 08 janvier 2016, 14h30, Salle 0010
Antoine Amarilli (Télécom ParisTech) Provenance Circuits for Trees and Treelike Instances

irif
vendredi 12 avril 2019, 10h30, Amphi Turing
Johan Hastad (Royal Institute of Technology, Stockholm) **IRIF Distinguished Talks Series**: TBA

cat
vendredi 18 janvier 2019, 10h00, 3052
Amar Hadzihasanovic (RIMS Kyoto University) Charted omega-categories

cat
vendredi 18 janvier 2019, 10h00, 3052
Amar Hadzihasanovic (RIMS Kyoto University) Charted omega-categories

cat
vendredi 18 janvier 2019, 10h00, 3052
Amar Hadzihasanovic (RIMS Kyoto University) Charted omega-categories