Organizers

University of Bern, Institute of Computer Science, Logic and Theory Group

Office manager

Postal address

Logic and Theory Group
Institut für Informatik
Neubrückstrasse 10
3012 Bern
Switzerland
Fax: +41 (0)31 631 32 60
Phone: +41 (0)31 631 84 26