Logique et Interactions

• Lionel Vaux Auclair - Un groupoïde d’arbres de permutations - 08/10/2020 - 11h00 - 12h30
• Peter Hines - Finding Resolution in unexpected places: Girard's formula outside its usual setting - 02/07/2020 - 10h00 - 11h00
• Thibaut Benjamin - Théorie des types pour les oméga-catégories faibles - 13/02/2020 - 11h00 - 12h30
• Mauricio Guillermo - Un programme d'algebrisation pour la réalisabilité ? (annulé) - 05/12/2019 - 11h00 - 12h30
• Léonard Guetta - Homologie des infini-catégories strictes - 28/11/2019 - 11h00 - 12h30
• Luigi Santocanale - On discrete idempotent paths - 21/11/2019 - 11h00 - 12h30
• Andrea Gagna - Andrea GAGNA - Sur la théorie de l'homotopie des 3-catégories strictes - 25/10/2019 - 14h00 - 16h00
• Karoliina Lehtinen - Quasi-polynomial techniques for parity games and and other problems - 24/10/2019 - 11h00 - 12h30
• Cyrille Chenavier - Systèmes de réécriture topologiques appliqués aux bases standards et aux algèbres syntaxiques - 12/09/2019 - 11h00 - 12h00
• Zeinab Galal - Rigid species and normal functors over groupoids - 11/07/2019 - 11h00 - 12h00
• Pierre Hyvernat - Checking correctness for recursive definitions with mixed inductive and coinductive types - 04/07/2019 - 11h00 - 12h30
• Charles Grellois - Sur la terminaison des programmes probabilistes récursifs d'ordre supérieur - 20/06/2019 - 11h00 - 12h30
• Aurore Alcolei - Concurrent Games with side-information - 23/05/2019 - 11h00 - 12h30
• Marie Kerjean - Polarized models of Differential Linear Logic - 02/05/2019 - 11h00 - 12h30
• Raphaëlle Crubillé - Probabilistic stable functions on discrete cones are power series - 25/04/2019 - 11h00 - 12h30
• Guillaume Geoffroy - Réalisabilité classique : nouveaux outils et applications - 29/03/2019 - 14h00 - 17h00
• Thomas Streicher - Simplicial into cubical - 28/03/2019 - 11h00 - 12h30
• Luigi Santocanale - Quantales MIX *-autonomes et l'ordre faible continu - 21/03/2019 - 11h00 - 12h30
• Lionel Vaux Auclair - Combinatoire de l’élimination des coupures de MLL, et une application au développement de Taylor de MELL - 07/03/2019 - 11h00 - 12h30
• Claudia Faggian - Lambda Calculus and Probabilistic Computation - 28/02/2019 - 11h00 - 12h30