Humboldt Kolleg 2017
Humboldt Kolleg 2017
Humboldt-Kolleg: Proof Theory as Mathesis Universalis
July 24-28, 2017 — Villa Vigoni, Loveno di Menaggio (Como), Italy
Organizers
Stefania Centrone (Oldenburg), Sara Negri (Helsinki), Denis Sarikaya (Hamburg), Peter Schuster (Verona)