Logique et Interactions

• Victor Chepoi - Matroïdes et leur graphes des bases - 06/12/2018 - 11h00 - 12h30
• Luc Pellissier - Linear Implicative Algebras, towards a BHK interpretation of linear logic - 29/11/2018 - 11h00 - 12h30
• Zeinab Galal - Connecting models of differential linear logic with reloids - 22/11/2018 - 11h00 - 12h30
• Thomas Ehrhard - Sémantique dénotationnelle de la logique linéaire avec plus petits et plus grands points fixes de types - 11/10/2018 - 11h00 - 12h30
• Giulio Manzonetto - Revisiting Call-by-value Bohm trees in light of their Taylor expansion - 04/10/2018 - 11h00 - 12h30
• Jules Chouquet - Une application de l’élimination parallèle des coupures en logique linéaire multiplicative sans unités au développement de Taylor des réseaux de preuves - 27/09/2018 - 11h00 - 12h30
• Tito Nguyen - Évaluation sémantique en logique linéaire élémentaire - 13/09/2018 - 11h00 - 12h30
• Etienne Miquey - The algebraic structure of classical realizability models - 06/09/2018 - 11h00 - 12h30
• Valentin Blot - Extensional and intensional semantic universes: a denotational model of dependent types - 05/07/2018 - 11h00 - 12h30
• Dimitri Ara - Joint et tranches ∞-catégoriques - 28/06/2018 - 11h00 - 12h30
• Maxime Lucas - Higher dimensional rewriting and cubical categories - 21/06/2018 - 11h00 - 12h30
• Pierre Clairambault - The true concurrency of Herbrand's theorem - 14/06/2018 - 11h00 - 12h30
• 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