Working Group Logic in Computer Science
Mailing Address: Humboldt-Universität zu Berlin Location: J. v. Neumann-Haus
Institut für Informatik Haus III, R. 425
Unter den Linden 6 Rudower Chaussee 25
10099 Berlin 12489 Berlin
Phon: +49 / 30 / 2093 3082 E-mail: popova@informatik.hu-berlin.de
Fax: +49 / 30 / 2093 3081 Office Hour: Tuesday 11 - 12
