Contact (Mailing Address)

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