Taming the Infinite: Logic, Algebra, and Constructive Mathematics
Verona (IT), April 20, 2026

Programme

• Vasco Brattka (Universität der Bundeswehr München)
  The Hahn-Banach Theorem in Computable, Constructive and Reverse Mathematics
• Gabriele Buriola (Università degli Studi di Verona)
  A Constructive Picture of Noetherian Conditions and Well Quasi-Orders
• Thierry Coquand (Göteborgs universitet)
  Chevalley–Tarski, Joyal and constructible topology
• Laura Crosilla (Università degli Studi di Firenze)
  Predicativity and taming the infinite
• Hugo Herbelin (Inria – Institut national de recherche en sciences et technologies du numérique)
  Computing with the full axiom of choice via generalised update induction
• Hajime Ishihara (Toho University)
  A constructive theory of uniformity
• Takako Nemoto (Tohoku University)
  Turing degrees in semi-intuitionistic arithmetic
• Jan von Plato (University of Helsinki)
  Are there "constructively strongest" formulas? A Gödelian problem and its solution
• Michael Rathjen (University of Leeds)
  Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• Helmut Schwichtenberg (Ludwig-Maximilians-Universität München)
  Taming the Infinite
• Ihsen Yengui (Université de Sfax & Università degli Studi di Verona)
  The Gröbner Ring Conjecture

Workshop venue

How to get here

• Lines 11, 12, 13, 51, 52, 72, 80, 81, 90, 92, 98, 109, 110, 111, 113, 115, 117, 119, 120, 121, 123, 130, 133, 134: bus stop "Via Torbido / Università" (5-minutes walk)
  
• Line 103: bus stop "Lungadige Pasetto / Università" (5-minutes walk)
• Line 73: bus stop "Interrato Acqua Morta / Ponte Navi" (5-minutes walk)
• Lines 70, 71: bus stop "Cimitero Monumentale" (10-minutes walk)
• Lines 138, 139, 141, 143, 144, 146, 148, 157, 158, 159, 160: bus stop "Park Centro" (10-minutes walk)

• From the "Verona Porta Vescovo" train station: The venue can be reached with an approximately 25-minute walk. Otherwise, one can walk to the "Porta Vescovo" bus stop (approx. 10 minutes) and take one of the buses listed above.
• From the "Verona Porta Nuova" train station: Take a bus (see above); most of those useful depart from platform B1. Otherwise, the venue can be reached with an approximately 35-minute walk.