Logique et Interactions
- van Gool, TBA, TBA - Séminaire Chocola à Lyon - 21/05/2026 - 10h30 - 16h15
- Adrienne Lancelot - TBA - 21/05/2026 - 11h00 - 12h30
- Ralph Sarkis - TBA - 07/05/2026 - 11h00 - 12h30
- Castellan, TBA, TBA - Séminaire Chocola à Lyon - 30/04/2026 - 10h30 - 16h15
- Davide Barbarossa - TBA - 16/04/2026 - 11h00 - 12h30
- Félix Loubaton - TBA - 09/04/2026 - 11h00 - 12h30
- Dezani, TBA, TBA - Séminaire Chocola à Lyon - 02/04/2026 - 10h30 - 16h15
- Titouan Leclercq - TBA - 26/03/2026 - 11h00 - 12h30
- Lê Thành Dũng (Tito) Nguyễn - A bunch of conjectures - 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
- 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
