Prof. Dr. Thomas Studer Institute of Computer Science Phone +41 31 684 39 84 E-Mail thomas.studer@unibe.ch Office 315 Postal Address Institute für Informatik (INF) Neubrückstrasse 10 3012 Bern
