Proof
An International Conference within the Frame of Humboldt-Kollegs
Sponsors
Alexander von Humboldt Foundation
Swiss National Science Foundation
Burgergemeinde Bern
Swiss Academy of Science
Swiss Society for Logic and Philosophy of Science
Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften
Home
Program
Scientific Talks/Discussions
Social Dinner
AvH Lecture
Location
Venue
How to reach us
Participation
Registration/Check-in
Accommodation
Program/Organization
Sponsors
Contact
