Categorical Logic and Constructive Mathematics
Categorical Logic and Constructive Mathematics
We are excited to announce a Day of Logic at the Department of Computer Science, University of Verona (Strada le Grazie 15 - 37134 Verona) on Wednesday, October 23, 2024. The event, titled “Categorical Logic and Constructive Mathematics,” is scheduled to start at 9:15 AM in Aula M and to continue until the late afternoon.
Speakers:
- Iosif Petrakis (University of Verona)
- Giulio Fellin (University of Brescia)
- Francesco Ciraulo (University of Padua)
- Marco Benini (University of Insubria)
- Logic seminar: Hajime Ishihara (Toho University)
- Department seminar: Tarmo Uustalu (Reykjavik University & Tallinn University of Technology)