Prof. Dr. Thomas Studer Institute for Computer Science (INF) Phone +41 31 684 3984 E-Mail thomas.studer@unibe.ch Office 315 Postal Address Institute for Computer Science (INF) Neubrückstrasse 10 3012 Bern private website home.inf.unibe.ch/~tstuder/