Venue and Date
The Festkolloquium will take place in the Main Building of the University of Bern (Map and Directions) on December 13 - 14, 2018 in room 033/EG West.
Organization
- ∙ Thomas Strahm (strahm@inf.unibe.ch)
- ∙ Thomas Studer (tstuder@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