Logique et Interactions

• Clémence Chenavat - Regular polygraphs and a homotopical pasting theorem - 08/10/2026 - 11h00 - 12h30
• Vincent Moreau - Unification via the Segal condition internally to the λ-calculus - 01/10/2026 - 11h00 - 12h30
• Pierre Clairambault - Symmetric monoidal closure without a trace - 24/09/2026 - 11h00 - 12h30
• 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