Logique et Interactions

• 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
• Laura Fontanella, Guillaume Geoffroy - Un modèle de réalisabilité pour une version faible de l'axiome du choix (∀α.AC_α) - 14/02/2019 - 11h00 - 12h30
• Christophe Lucas - Towards a Proof Theory of the Riesz Modal Logic - 17/01/2019 - 11h00 - 12h30
• Dimitri Ara - Titre à préciser - Dimitri Ara - 10/01/2019 - 11h00 - 12h30
• Pierre Vial - Non idempotent typing, upper bounds and exact length in the lambda and in the lambda-mu-calculus - 20/12/2018 - 11h00 - 12h30