POSTANSCHRIFT
Ruhr-Universität Bochum
Fakultät für Informatik
Logik und Formale Verifikation
Universitätsstraße 150, 44780 Bochum
Gebäude MC 1/65
Postbox 9
KONTAKTDATEN
Telefon: (+49) (0) 234 32 19609 (Prof. Zeume)
Telefon: (+49) (0) 234 32 19652 (Sekretariat)