Logic in Computer Science Prof. Dr. Martin Grohe

Magdalena Grüber

Mailing Address: Location: Humboldt-Universität zu Berlin Johann von Neumann-Haus Institut für Informatik Haus IV, Zimmer 404 Unter den Linden 6 Rudower Chaussee 25 10099 Berlin 12489 Berlin Tel.: 030 / 2093 3088 Fax: 030 / 2093 3081 Email: grueber ät informatik.hu-berlin.de

Teaching

Summer term 2009
Exercises for the lecture Die Komplexität des constraint satisfaction Problems
Tuesday 3pm - 5pm, Erwin Schrödinger-Zentrum (Rudower Chaussee 26) 1'307
Exercises for the lecture Graph Minor Theory
Thursday 11am - 1pm, Erwin Schrödinger-Zentrum (Rudower Chaussee 26) 1'307

Winter term 2008/2009
Exercises for the lecture Theoretische Informatik I
Exercises for the lecture Logik in der Informatik

Summer term 2008
Exercises for the lecture Parametrische Algorithmen und Komplexitätstheorie
Monday 11am - 1pm, Erwin Schrödinger-Zentrum (Rudower Chaussee 26) 1'303
Exercises for the lecture Logik, Spiele und Automaten
Monday 11am - 1pm, Erwin Schrödinger-Zentrum (Rudower Chaussee 26) 1'303

Winter term 2007/2008
Exercises for the lecture Theoretische Informatik I

Summer term 2007
Exercises for the lecture Lineare Optimierung
Proseminar Die Grenzen der Berechenbarkeit

Winter term 2006/2007
Exercises for the lecture Theoretische Informatik I

Summer term 2006
Exercises for the lecture Lineare Optimierung
Proseminar Die Grenzen der Berechenbarkeit

Winter term 2005/2006
Exercises for the lecture Theoretische Informatik I

Summer term 2005
Exercises for the lecture Parametrische Algorithmen und Komplexitätstheorie
Assistance for the proseminar Die Grenzen der Berechenbarkeit

Office Hour

Thursday 5 - 6 pm