Contact information

Visiting Address

Room: TEL 711
Ernst-Reuter-Platz 7
10587 Berlin

Fon: +49 30 314 29089
Fax: +49 30 314 29037

Postal Address

Technische Universität Berlin
Logik und Semantik
Institut für Softwaretechnik und Theoretische Informatik
Fakultät IV
Sekr. TEL 7-3
Ernst-Reuter-Platz 7
10587 Berlin