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 – Exact venue to be confirmed.

Abstract

The workshop will bring together researchers working on topics at the interface of logic, algebra, and the foundations of mathematics. Areas of interest include constructive algebra and set theory, point-free topology, proof theory, transfinite and finite methods, logical methods in computer science, as well as foundational and philosophical aspects of mathematics, including consistency proofs.

Programme

Speakers:

• Gabriele Buriola (Università degli Studi di Verona)
• Stefania Centrone (Technische Universität München)
• Thierry Coquand (Göteborgs universitet)
• Laura Crosilla (Università degli Studi di Firenze)
• Hugo Herbelin (Inria – Institut national de recherche en sciences et technologies du numérique)
• Hajime Ishihara (Toho University)
• Takako Nemoto (Tohoku University)
• Michael Rathjen (University of Leeds)
• Helmut Schwichtenberg (Ludwig-Maximilians-Universität München)
• Ihsen Yengui (Université de Sfax & Università degli Studi di Verona)

The scientific programme will take place from 9:30 to 18:00; further details will be announced in due time on the programme page.

Under the auspices of