Lehrveranstaltungen im aktuellen Semester:

WS 2009/10: Vorlesung Diskrete Modellierung, mittwochs 8-11 Uhr im Magnus-Hörsaal (Prof. Dr. Nicole Schweikardt; Übungsbetreuung: Dr. Mariano Zelke und Dipl.-Inf. André Böhm). Eintrag im LSF: Vorlesung, Übung. Vorlesung Logik in der Informatik, Vorlesung: dienstags 14-16 Uhr und donnerstags 16-18 Uhr, Übung: dienstags 16-18 Uhr, im Magnus-Hörsaal (Prof. Dr. Nicole Schweikardt; Übung: Dipl.-Inf. André Hernich). Eintrag im LSF: Vorlesung, Übung. TKS-Seminar (i.d.R. mittwochs 16-18 Uhr in Raum 117). Eintrag im LSF: hier. Forschungsseminar Informatik und Mathematik (i.d.R. dienstags 12-14 Uhr in Raum SR 11). Eintrag im LSF: hier.

Ausblick auf kommende Semester:   (ohne Gewähr)

SoSe 2010: Vorlesung Logik und Datenbanken Seminar Logik in der Informatik TKS-Seminar Forschungsseminar Informatik und Mathematik

Lehrveranstaltungen in früheren Semestern:

SoSe 2009: keine (wegen Forschungssemester)   WS 2008/09: Vorlesung Diskrete Modellierung, mittwochs 8-11 Uhr im Magnus-Hörsaal (Prof. Dr. Nicole Schweikardt; Übungsbetreuung: Dipl.-Inf. André Hernich) Vorlesung Logik in der Informatik, Vorlesung: dienstags 14-16 Uhr und donnerstags 16-18 Uhr, Übung: dienstags 16-18 Uhr, im Magnus-Hörsaal (Prof. Dr. Nicole Schweikardt) Forschungsseminar Informatik und Mathematik (i.d.R. dienstags 12-14 Uhr in Raum SR 9)   SoSe 2008: Vorlesung Logik und Datenbanken, Vorlesung: dienstags und donnerstags 12-14 Uhr, Übung: dienstags 14-16 Uhr, im Magnus-Hörsaal (Prof. Dr. Nicole Schweikardt) Blockseminar Datenstrom-Algorithmen, das Blockseminar findet vom 31.03.08 bis 02.04.08 in Raum 117 statt (Prof. Dr. Nicole Schweikardt, Dipl.-Inf. André Hernich)   WS 2007/08: Vorlesung Diskrete Modellierung, mittwochs 8-11 Uhr im Magnus-Hörsaal (Prof. Dr. Nicole Schweikardt; Übungsbetreuung: Dipl.-Inf. André Hernich) Blockseminar Datenstrom-Algorithmen, das Blockseminar findet vom 11.02.08 bis 13.02.08 statt (Prof. Dr. Nicole Schweikardt, Dipl.-Inf. André Hernich)   SoSe 2007: (an der Humboldt-Universität zu Berlin) Vorlesung Logik und Komplexität, Vorlesung: montags 13-15 Uhr in Raum 1'305 und mittwochs 15-17 Uhr in Raum 1'307, Erwin Schrödinger-Zentrum, Übung: montags 15-17 Uhr in Raum 1'305, Erwin Schrödinger-Zentrum (Prof. Dr. Nicole Schweikardt; Übung: Dipl.-Inf. André Hernich) Mitarbeiterseminar Logik in der Informatik, i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus Oberseminar Theoretische Informatik, i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus   WiSe 2006/07: (an der Humboldt-Universität zu Berlin) Seminar Probabilistische Datenbanken, Blockseminar (Prof. Dr. Nicole Schweikardt, Dipl.-Inf. André Hernich) Mitarbeiterseminar Logik in der Informatik, i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus Oberseminar Theoretische Informatik, i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus   SoSe 2006: (an der Humboldt-Universität zu Berlin) Vorlesung Datenbanktheorie, Vorlesung: montags 15-17 Uhr in Raum 1.306 und mittwochs 13-15 Uhr in Raum 1.303, Erwin Schrödinger-Zentrum, Übung: mittwochs 15-17 Uhr in Raum 1.303, Erwin Schrödinger-Zentrum (Prof. Dr. Nicole Schweikardt) Mitarbeiterseminar Logik in der Informatik, i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus Oberseminar Theoretische Informatik, i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus   WiSe 2005/06: (an der Humboldt-Universität zu Berlin) Seminar Kommunikationskomplexität, dienstags, 15-17 Uhr, Raum 1.308, Erwin Schrödinger-Zentrum (Prof. Dr. Nicole Schweikardt, Dipl.-Inf. André Hernich) Seminar Endliche Modelltheorie, Blockseminar (Prof. Dr. Nicole Schweikardt, Prof. Dr. Stephan Kreutzer) Mitarbeiterseminar Logik in der Informatik, i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus Oberseminar Theoretische Informatik, i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus   SoSe 2005: (an der Humboldt-Universität zu Berlin) Vorlesung Logik und Komplexität (Prof. Dr. Nicole Schweikardt, Prof. Dr. Stephan Kreutzer) Mitarbeiterseminar Logik in der Informatik, i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus Oberseminar Theoretische Informatik, i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus   WiSe 2004/05: (an der Humboldt-Universität zu Berlin) Seminar Automaten und semistrukturierte Daten (XML) (Prof. Dr. Martin Grohe, Dr. Nicole Schweikardt)   SoSe 2004: (an der Humboldt-Universität zu Berlin) Vorlesung Logik und Komplexität (Dr. Nicole Schweikardt, Dr. Stephan Kreutzer)   WiSe 2003/04: (an der Humboldt-Universität zu Berlin) Seminar Logik und Komplexität (Prof. Dr. Martin Grohe, Dr. Nicole Schweikardt)   SoSe 2002: (an der Johannes Gutenberg-Universität Mainz) Vorlesung Grundlagen des Parallelen Rechnens II (Dr. Nicole Schweikardt)