Taming the Infinite: Logic, Algebra, and Constructive Mathematics
Verona (IT), April 20, 2026
A workshop on Taming the Infinite: Logic, Algebra, and Constructive Mathematics will be held on 20th April 2026 in Verona, Italy.
Venue:
Università degli Studi di Verona – Dipartimento di InformaticaStrada Le Grazie, 15 – 37134 Verona
Programme
Link to the programme page.Abstract
TBAProgramme
The workshop is set to take place from 9:30 to 18:00. More details will be announced due time.Workshop location
Sala "Verde"
Ca' Vignal 3 – La Piramide
Università degli Studi di Verona
Dipartimento di Informatica
Strada Le Grazie, 15 – 37134 Verona
How to get to the department
Open the map as an image (version with bus stops).Arriving by bus
The following bus lines depart from the city centre and stop near the department:- Line 21 - Direction: S. Giovanni Lupatoto OR Policlinico
-
Line 22 - Direction: S. Giovanni Lupatoto OR Policlinico
- Line 72 - Direction: Policlinico - Stop name: Via Da Polenta
Organisers
Giulio Fellin
Dipartimento di Informatica,
Università degli Studi di Verona
Daniel Misselbeck-Wessel
Mathematisches Institut
Ludwig-Maximilians-Universität München
Sara Negri
Dipartimento di Matematica
Università degli Studi di Genova
Iosif Petrakis
Dipartimento di Informatica
Università degli Studi di Verona
Margherita Zorzi
Dipartimento di Informatica
Università degli Studi di Verona
