LSC Cameron Calk - The spectral space of a round-based protocol - 22/01/2026 - 11h00 - 12h30Glynn Winskel - Making concurrency functional - 07/12/2023 - 11h00 - 12h30Matteo Acclavio, Gianluca Curzi - Infinitary cut elimination via finite approximations - 02/11/2023 - 11h00 - 12h30Marc de Visme - Graphical Languages for Quantum Computation - 26/10/2023 - 11h00 - 12h30