---

Institute of Computer Science
University of Bern
Neubrückstrasse 10
3012 Bern
Switzerland

For e-mails and telephone numbers see staff.