Kontakt
Kontaktinformationen
Telephon: +49-30-20933075 (Prof. Kreutzer)
+49-30-2093 3080 (Sekretariat)
Fax: +49-30-2093 3081
EMail: kreutzer at informatik dot hu-berlin dot de (Prof. Kreutzer)
eisenman at informatik dot hu-berlin dot de (Sekretariat)
Postanschrift
Institut für Informatik
Humboldt-Universität zu Berlin
Unter den Linden 6
10099 Berlin
Besucheradresse
Johann von Neumann Haus
Haus 4, 4. Etage
Rudower Chaussee 25
12489 Berlin
Arbeitsgruppe Logik in der Informatik this page in English