The LSC seminar takes place on some thursdays at 11am, in a room that is likely to vary but will be announced on this page.
It is organized jointly with the Séminaire Logique et Interactions or the I2M.
Upcoming seminars
- TBA
Past seminars
- 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/2024: Glynn Winskel, Making concurrency functional
- 02/11/2024: Matteo Acclavio and Gianluca Curzi, Infinitary cut elimination via finite approximations
- 20/10/2024: Marc de Visme, Graphical Languages for Quantum Computation