Logique et Interactions

• Ken Sakayori - Wiring the π-calculus to Denotational Semantics - 16/07/2026 - 11h00 - 12h30
• Samuel Humeau - Correspondences between codensity and coupling-based liftings, a practical approach. - 09/07/2026 - 11h00 - 12h30
• Olivier Laurent - 1 = ⊥ in MLL - 02/07/2026 - 11h00 - 12h30
• Gavazzo, Lancelot, TBA - Séminaire Chocola à Lyon - 25/06/2026 - 10h30 - 16h15
• Peio Borthelle - Sound Operational Game Semantics in Type Theory - 18/06/2026 - 11h00 - 12h30
• Brede, da Rocha Paiva ,van Gool - Séminaire Chocola à Lyon - 28/05/2026 - 10h30 - 16h15
• Adrienne Lancelot - Minimum and Maximum lambda-Terms - 21/05/2026 - 11h00 - 12h30
• Ralph Sarkis - Quantitative Diagrammatic Reasoning for Probabilistic Processes - 07/05/2026 - 11h00 - 12h30
• Castellan, Felicissimo, Najmaei - Séminaire Chocola à Lyon - 30/04/2026 - 10h30 - 16h15
• Davide Barbarossa - Tropical Geometry of Probabilistic Programming Languages - 16/04/2026 - 11h00 - 12h30
• Félix Loubaton - Double Toposes - 09/04/2026 - 11h00 - 12h30
• Dezani, Weirich, Zdancewic - Séminaire Chocola à Lyon - 02/04/2026 - 10h30 - 16h15
• Titouan Leclercq - Une interprétation générale du Fan Theorem par réalisabilité - 26/03/2026 - 11h00 - 12h30
• Lê Thành Dũng (Tito) Nguyễn - Affine λ-transducers with additive branching - 19/03/2026 - 11h00 - 12h30
• Barbarossa, Krivine, Mangel - Séminaire Chocola à Lyon - 12/03/2026 - 10h30 - 16h15
• Kostia Chardonnet - Compiling Quantum λ-Terms into Circuits via the Geometry of Interaction - 05/03/2026 - 11h00 - 12h30
• 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