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
- 12/09/2024: Thibaut Benjamin, Automatisation des calculs dans les catégories supérieures et génération de preuves d’égalités (séminaire LDP)
- 19/09/2024: Séminaire Chocola
- 26/09/2024: Victor Blanchi, TBA (séminaire LDP)
- 03/10/2024: Louis Lemonnier, TBA
- 10/10/2024: Paolo Pistone, TBA (séminaire LDP)
- 17/10/2024: Aloÿs Dufour, TBA (séminaire LDP)
Past seminars
- 05/09/2024: Tito, 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/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