Proof

An International Conference within the Frame of Humboldt-Kollegs

Contact (Mailing Address)

Proof 2013
Logic and Theory Group
Institut für Informatik und angewandte Mathematik
Neubrückstrasse 10
3012 Bern
Switzerland

- Home
- Program
- Scientific Talks/Discussions
- Social Dinner
- AvH Lecture
- Location
- Venue
- How to reach us
- Participation
- Registration/Check-in
- Accommodation
- Program/Organization
- Sponsors
- Contact