Contact

 
Thomas Strahm (strahm@iam.unibe.ch) or Thomas Studer (tstuder@iam.unibe.ch)

Logic and Theory Group
Phone: +41 (0)31 631 84 26
Fax: +41 (0)31 631 32 60
Institute of Computer Science and Applied Mathematics
University of Bern

Postal address:
Institut fuer Informatik und angewandte Mathematik
c/o Bettina Choffat
Neubrueckstrasse 10
3012 Bern
SWITZERLAND