Organizers
- Gerhard Jäger (jaeger@inf.unibe.ch)
- Michael Bärtschi (baertsch@inf.unibe.ch)
University of Bern, Institute of Computer Science, Logic and Theory Group
Office manager
- Bettina Choffat (choffat@inf.unibe.ch)
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