Logique et Interactions
- Rémy Cerda - Ohana trees, Taylor expansion and multi-type semantics for the λI-calculus. No variable gets left behind or forgotten! - 19/02/2026 - 11h00 - 12h30
- Félix Castro - Is typed realizability only predicative? - 12/02/2026 - 11h00 - 12h30
- Crubillé, Rogers, Wu - Séminaire Chocola à Lyon - 05/02/2026 - 10h30 - 16h15
- Ariadne Suo - Semantics of Fine-Grained Mode Checking - 29/01/2026 - 11h00 - 12h30
- Cameron Calk - The spectral space of a round-based protocol - 22/01/2026 - 11h00 - 12h30
- Victor Iwaniack - Approche fonctorielle des automates boustrophédons et des automates d'arbres - 08/01/2026 - 11h00 - 12h30
- Axel Kerinec - Approximation Theory for Distant Bang Calculus - 18/12/2025 - 11h00 - 12h30
- Cailler, Chardonnet, Paquet - Séminaire Chocola à Lyon - 11/12/2025 - 10h30 - 16h15
- Fabien Carbo-Gil - L'influence des travaux de Turing sur la philosophie de Gödel - 27/11/2025 - 11h00 - 12h30
- Marin, Walch, Wrigley - Séminaire Chocola à Lyon - 20/11/2025 - 10h30 - 16h15
- Jad Koleilat - A Fibrational Perspective on Differential Linear Logic - 23/10/2025 - 11h00 - 12h30
- Rémi Di Guardia - Cut-Expansion in Proof-Nets of Multiplicative Linear Logic - 09/10/2025 - 11h00 - 12h30
- Federico Olimpieri - Linearization via Rewriting - 25/09/2025 - 11h00 - 12h30
- Choudhury, Marshall, Pimentel - Séminaire Chocola à Lyon - 26/06/2025 - Toute la journée
- Elies Harington - ∞-categorical models of linear logic - 19/06/2025 - 11h00 - 12h30
- Victor Blanchi - Getting thin spans in order - 05/06/2025 - 11h00 - 12h30
- Daniel Gratzer, Elies Harington, Hiroshi Unno - Séminaire Chocola - 15/05/2025 - Toute la journée
- Baptiste Chanus - De la logique catégorique à la complexité descriptive catégorique [LSC] - 24/04/2025 - 11h00 - 12h30
- Simon Mirwasser - Double indexed differential linear logic reconciling resources and differential operators - 17/04/2025 - 11h00 - 12h30
- Lutz Straßburger - Combinatorial proofs for classical and intuitionistic logic [Lirica] - 01/04/2025 - 10h00 - 11h30
