The LSC seminar takes place on some thursdays at 11am, normally in room 04.05 in the LIS.
It is organized jointly with the Séminaire Logique et Interactions or the I2M.
Upcoming seminars
- 07/05/2026: Ralph Sarkis: Quantitative Diagrammatic Reasoning for Probabilistic Processes
- 21/05/2026: Adrienne Lancelot
Past seminars
- 16/04/2026: Davide Barbarossa: Tropical Geometry of Probabilistic Programming Languages
- 09/04/2026: Félix Loubaton: Double Toposes
- 26/03/2026: Titouan Leclercq: Une interprétation générale du Fan Theorem par réalisabilité
- 13/03/2026: Tito Nguyễn: Affine λ-transducers with additive branching
- 05/03/2026: Kostia Chardonnet, Compiling Quantum λ-Terms into Circuits via the Geometry of Interaction
- 18/12/2025: Axel Kerinec, Approximation Theory for Distant Bang Calculus
- 23/10/2025: Jad Koleilat, A Fibrational Perspective on Differential Linear Logic
- 09/10/2025: Rémi Di Guardia, Cut-Expansion in Proof-Nets of Multiplicative Linear Logic
- 25/09/2025: Federico Olimpieri, Linearization via Rewriting
- 22/05/2025: Vikraman Choudhury, The Duality of λ-Abstraction
- 24/04/2025: Baptiste Chanus, De la logique catégorique à la complexité descriptive catégorique
- 27/03/2025: Quentin Aristote, Monotone weak distributive laws in categories of algebras
- 20/03/2025: Simon Vilmin, The E-base of finite semidistributive closure lattices
- 06/03/2025: Tito Nguyễn, Slightly Non-Linear Higher-Order Tree Transducers
- 27/02/2025: Pablo Donato, Graphes existentiels, calcul floral, théorie des topes
- 30/01/2025: Uli Fahrenberg, Higher-Dimensional Automata Theory
- 12/12/2024: Mario Román, Partial Markov Categories
- 6/12/2024: Elena Di Lavore, Coalgebraic causal processes
- 03/10/2024: Louis Lemonnier, A recipe for the semantics of reversible programming.
- 05/09/2024: Tito Nguyen, Inexpressivity of higher-order transducers and semi-quantitative semantics (work in progress).
- 18/04/2024: Gabriele Vanoni, Higher-Order Bayesian Networks, Exactly.
- 11/04/2024: Federico Olimpieri, Coherence by Normalization for Linear Multicategorical Structures.
- 22/02/2024: Hugo Paquet, 2-Dimensional Monads and Concurrency.
- 21/02/2024: Pierre Clairambault, soutenance HDR.
- 15/02/2024: Zeinab Galal, Newton-Raphson iteration for Cartesian differential categories
- 07/12/2023: Glynn Winskel, Making concurrency functional
- 02/11/2023: Matteo Acclavio and Gianluca Curzi, Infinitary cut elimination via finite approximations
- 20/10/2023: Marc de Visme, Graphical Languages for Quantum Computation