Logique et Interactions

• Eduard Balzin - Les familles de catégories en géométrie et algèbre - 29/03/2018 - 11h00 - 12h30
• Andrea Gagna - Les petites catégories comme modèles des types d'homotopie (2ème partie) - 08/03/2018 - 11h00 - 12h30
• Assia Mahboubi - Une preuve assistée par ordinateur de l'irrationalité de zeta(3) - 22/02/2018 - 11h00 - 12h30
• Giulio Manzonetto - Refutation of Sallé's Longstanding Conjecture - 15/02/2018 - 11h00 - 12h30
• Andrea Gagna - Les petites catégories comme modèles des types d'homotopie - 08/02/2018 - 11h00 - 12h30
• Zeinab Galal - Espèces de structures et λ-calcul différentiel - 25/01/2018 - 11h00 - 12h30
• Hadrien Batmalle - Préservation de propriétés du modèle de départ en réalisabilité classique - 18/01/2018 - 11h00 - 12h30
• Michael Puschnigg - Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 (2ème partie) - 11/01/2018 - 11h00 - 12h30
• Clovis Eberhart - Une théorie des modèles de jeux - 21/12/2017 - 11h00 - 12h30
• Pierre Pradic - A realizability notion for MSO over ω - 07/12/2017 - 11h00 - 12h30
• Olivier Laurent - Une promenade entre logiques linéaires classiques et intuitionnistes - 30/11/2017 - 11h00 - 12h30
• Michael Puschnigg - Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 - 23/11/2017 - 11h00 - 12h30
• Maxime Lucas - La géométrie cubique de la réécriture de dimension supérieure - 16/11/2017 - 11h00 - 12h00
• Laura Fontanella - Grands cardinaux et compacité - 19/10/2017 - 11h00 - 12h00
• Patrick Dehornoy - La théorie des ensembles cinquante ans après Cohen - 28/09/2017 - 11h00 - 12h00
• Charles Grellois - Two type-theoretic approaches to probabilistic termination - 21/09/2017 - 11h00 - 12h00
• Victor Chepoi - Un contre-exemple à la conjecture de Thiagarajan sur les structures d'évènements régulières - 22/06/2017 - 11h00 - 12h00
• Luc Pellissier - Linear approximations, fibrations, intersection types - 15/06/2017 - 11h00 - 12h00
• Simon Henry - Théorie homotopique des types et modèles algébriques pour les infinis catégories et groupoïdes - 30/05/2017 - 14h00 - 15h30
• Edoardo Lanari - Globular models for weak higher dimensional structures - 30/05/2017 - 11h00 - 12h30