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. 3.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 3168 Office Hour: Monday 15 - 16