Contact

 
Gerhard J├Ąger or Roman Kuznets (expa12@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