Workshop: “Categorical Logic Days”
4-10 June 2025
Keynote Speakers
- Giuseppe Rosolini (Università di Genova)
- Martin Hyland (University of Cambridge)
Invited Speakers
- Davide Trotta (Università di Padova)
- Fabio Pasquali (Università di Milano)
- Jacopo Emmenegger (Università di Genova)
- Samuele Maschio (Università di Padova)
- Peter Lumsdaine (Stockholm University)
