Logique et Interactions

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