LSC Seminar

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

  • 18/04/2024: Gabriele Vanoni, Higher-Order Bayesian Networks, Exactly.

Past seminars

  • 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