ABM Meeting Spring 2018

University of Bern, Institute of Computer Science, Logic and Theory Group

• Gerhard Jäger (jaeger@inf.unibe.ch)
• Michael Bärtschi (baertsch@inf.unibe.ch)

Mathematical Institute, Universiy of Munich

• Iosif Petrakis (petrakis@math.lmu.de)

• Bettina Choffat (choffat@inf.unibe.ch)

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