Logique et Interactions

• Pierre Vial - Representing permutations without permutations, or the expressive power of sequence types - 07/06/2018 - 11h00 - 12h30
• Andrea Gagna - Petites catégories comme modèles des types d'homotopie - 26/04/2018 - 11h00 - 12h30
• Alexis Saurin - Logical by-need - 19/04/2018 - 11h00 - 12h30
• Amina Doumane - Completeness for identity-free Kleene lattices - 05/04/2018 - 11h00 - 12h30
• 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