Logique et Interactions

• 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
• 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