Humboldt Kolleg 2017
Humboldt Kolleg 2017
Humboldt-Kolleg: Proof Theory as Mathesis Universalis
July 24-28, 2017 — Villa Vigoni, Loveno di Menaggio (Como), Italy
![Sito 02](/f/4/_processed_/a/d/csm_sito_02_c73e8cb399.jpg)
Organizers
Stefania Centrone (Oldenburg), Sara Negri (Helsinki), Denis Sarikaya (Hamburg), Peter Schuster (Verona)