Research Group for Theoretical Computer Science and Logic
| Head: | Prof. Dr. Gerhard Jäger jaeger@iam.unibe.ch |
| Phone: +41 (0)31 631 85 60 | |
| Office Manager: | Bettina Choffat choffat@iam.unibe.ch |
| Phone: +41 (0)31 631 84 26 | |
| Mailing Address: | Theoretische Informatik und Logik Institut für Informatik und angewandte Mathematik Neubrückstrasse 10 CH-3012 Bern Switzerland |
| Fax: +41 (0)31 631 32 60 |
