Teaching
Summer Term 2021
Winter Term 2020/2021
Lecture (Master):
Lecture:
Tuesday and Wednesday 10:00-12:00 a.m.
Exercise:
Thursday 14:00 - 16:00 p.m.
Summer Term 2020
Winter Term 2019/20
Vorlesung:
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum MA 001
Übung:
Donnerstag, 16:00 - 18:00 Uhr im Raum EB 202
Vorlesung:
Lecture:
Wednesday, 10:00 - 12:00 a.m., room TEL 713
Exercise:
Monday, 12:00 - 14:00 a.m., room TEL 713
Vorlesung:
Lecture:
Tuesday, 10:00 - 12:00 a.m., room TEL 512
Exercise:
Friday, 10:00 - 12:00 a.m., room TEL 512
Summer Term 2019
Vorlesung:
Lecture:
Thursday 12:00-14:00 - A151
Exercise:
Monday/Wednesday 12:00-14:00 - MA649
Vorlesung:
Lecture:
Donnerstag 10:00-12:00 - MA001
Exercise:
Donnerstag 16:00-18:00 - H0104
Integrierte Lehrveranstaltung (Master):
Lecture:
Wednesday 10:00-12:00 - TEL512
Exercise:
tba
Winter Term 2018/19
Vorlesung:
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum A 151
Übung:
Donnerstag, 16:00 - 18:00 Uhr im Raum H1012
Vorlesung:
Lecture:
Tuesdays, 14:00 - 16:00 in Room TEL 512
Exercise:
Thursdays, 14:00 -16:00 in Room TEL 512
Summer Term 2018
Vorlesung:
Lecture:
Thursdays, 12:00 - 14:00 in Room A 151
Exercise:
Wednesdays, 12:00 -14:00 in Room MA 650
Winter Term 2017/18
Vorlesung:
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr ab dem 19.10.2017 bis 15.02.2018 im Raum A 151
Übung:
Donnerstag, 14:00 - 16:00 Uhr im Raum H 0104
Vorlesung:
Vorlesung:
Dienstag, 10:00 - 12:00 Uhr ab dem 17.10.2017 bis 13.02.2018 im Raum MA 001
Übung:
Montag, 12:00 - 14:00 Uhr ab dem 23.10.2017 bis 12.02.2018 im Raum EB 301
Blockseminar:
Einführungsveranstaltung:
Dienstag, 12:00 - 14:00 Uhr 17.10.2017 im Raum TEL 512
Summer Term 2017
Integrierte LV:
Lecture:
Tuesday, 10:00 - 12:00 in room TEL 512
Lecture:
Wednesday, 12:00 - 14:00 in room TEL 512
Classes:
Thursday, 14:00 - 16:00 in room TEL 512
Seminar:
Einführungsveranstaltung:
Dienstag, 25.04.2017, 14:00 - 16:00 im Raum TEL 713
Vorlesung:
Vorlesung:
Donnerstag, 12:00 - 14:00 im Raum A 151
Übung:
Dienstag, 10:00 - 12:00 im Raum MA 649
Integrierte LV:
Vorlesung:
Dienstag, 10:00 - 12:00 im Raum H 3004
Übung:
Donnerstag, 10:00 - 12:00 im Raum FH 311
Winter Term 2016/17
Lecture:
Lecture:
Thursday, 10:00 - 12:00 in room A 151
Classes:
Thursday, 16:00 - 18:00 in room E 020
Lecture:
Lecture:
Monday, 10:00 - 12:00 in room TEL 512
Lecture:
Tuesday, 12:00 - 14:00 in room TEL 512
Classes:
Thursday, 14:00 - 16:00 in room TEL 512
Summer Term 2016
Vorlesung:
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum A 151
Übung:
Dienstag, 10:00 - 12:00 Uhr im Raum MA 650
Tutorien:
Donnerstag, 14:00 - 16:00 Uhr im Raum TEL 512
Lecture:
Lecture:
Monday and Tuesday, 10:00 - 12:00 AM in room TEL 512
Classes:
Wednesday, 12:00 - 01:00 PM in room TEL 512
Seminar:
Angewandte Logiken
Einführungsveranstaltung:
Freitag, 22.04.2016, 14:15 - 15:45 Uhr im Raum TEL 713
Seminar:
Grundlagen lokaler verteilter Algorithmen
Seminar:
Aus organisatorischen Gründen fällt das Seminar in diesem Semester leider aus.
Winter Term 2015/16
Vorlesung:
Vorlesung:
Montag, 12:00 - 14:00 Uhr im Raum MA 001
Übung:
?
Tutorien:
?
Seminar:
Computer Science Logic (CSL) Seminar
Einführungsveranstaltung:
Freitag, 21.8.2015, 10:00 - 12:00 Uhr im Raum TEL 716
Summer Term 2015
Vorlesung:
Vorlesung:
Dienstag, 14:00 - 16:00 Uhr im Raum MAR 0.011
Vorlesung:
Donnerstag, 14:00 - 16:00 Uhr im Raum TEL 512
Übung:
Montag, 16:00 - 18:00 im Raum TEL 512
Übung:
Dienstag, 12:00 - 14:00 im Raum TEL 512
Vorlesung:
Vorlesung:
Montag, 12:00 - 14:00 Uhr im Raum C 130
Vorlesung:
Freitag, 10:00 - 12:00 Uhr im Raum A 151
Vorlesung:
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum MA 041
Übung:
Dienstag, 10:00 - 12:00 Uhr im Raum MAR 0.002
Seminar:
Einführungsveranstaltung:
Freitag, 17.04.2015, 14:00 - 16:00 Uhr im Raum TEL 713
Winter Term 2014/15
Vorlesung:
Vorlesung:
Dienstag, 10:00 - 12:00 Uhr im Raum MA 001
Übung:
Dienstag, 16:00 - 18:00 Uhr im Raum A 151
Vorlesung:
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum MA 001
Übung:
Donnerstag, 16:00 - 18:00 Uhr im Raum H 1058
Lecture:
Lecture:
Tuesday, 2:00 - 4:00 p.m. room TEL 512
Classes:
Thursday, 2:00 - 4:00 p.m. room TEL 512
Summer Term 2014
Summerterm 2014 is a sabbatical term (ending on 30 September 2014)
Winter Term 2013/14
Lecture:
Vorlesung:
Dienstag, 12:00 bis 14:00 Uhr
Start: 15.10.2013 im Raum H 3010 (Hauptgebäude)
ab 22.10.2013 im Raum H 0104 (Hauptgebäude)
Start: 15.10.2013 im Raum H 3010 (Hauptgebäude)
ab 22.10.2013 im Raum H 0104 (Hauptgebäude)
Übung:
Dienstag, 14:00 bis 16:00 Uhr im Raum MA 005 (Mathegebäude)
Lecture:
Vorlesung:
Donnerstag, 10:00 bis 12:00 im Raum MA 001
Übung:
Donnerstag, 16:00 bis 18:00 Uhr
Summer Term 2013
Lecture:
Lecture:
Tuesday, 12:00 bis 14:00, room TEL 512
Thursday, 10:00 bis 12:00, room MAR 0.008
Thursday, 10:00 bis 12:00, room MAR 0.008
Classes:
Friday, 12:00 - 14:00, room TEL 512
Lecture:
Graph Decompositions and Applications in Algorithmics and Logic (CS)
entspricht der Vorlesung mit dem Titel
Algorithmic Graph Structure Theory (Math)
entspricht der Vorlesung mit dem Titel
Algorithmic Graph Structure Theory (Math)
Lecture:
Monday, 10:00 bis 12:00 am, room TEL 512
Tuesday, 2:00 bis 4:00 pm, room FH 315
Tuesday, 2:00 bis 4:00 pm, room FH 315
Classes:
Thursday, 12:00 bis 2:00 pm room TEL 512
Winter Term 2012/13
Lecture:
Die Veranstaltung wird sowohl für Bachelor- als auch für Masterstudierende angeboten
Vorlesung:
Dienstag, 10:00 bis 12:00 Uhr im Raum TEL 512
Dienstag, 12:00 bis 14:00 Uhr im Raum TEL 512
Dienstag, 12:00 bis 14:00 Uhr im Raum TEL 512
Übung:
Donnerstag, 14:00 bis 16:00 Uhr im Raum TEL 512
Lecture:
Vorlesung:
Donnerstag, 10:00 bis 12:00 Uhr im Raum MA 001
Dienstags, 14:00 bis 16:00 Uhr im Raum TEL 512
Dienstags, 14:00 bis 16:00 Uhr im Raum TEL 512
Übung:
Lecture:
Vorlesung:
Montag, 12:00 bis 14:00 Uhr im Raum H 1058
Donnerstag, 12:00 bis 14:00 Uhr im Raum H 2013
Donnerstag, 12:00 bis 14:00 Uhr im Raum H 2013
Kolloquium:
Kolloquium:
Dienstags, 10:00 Uhr bis 12:00 Uhr, im Raum
Summer Term 2012
Lecture:
Weitere Informationen erhalten Sie im Isis-Kurs
Vorlesung:
Mittwoch, 10:00 bis 12:00 Uhr im Raum TEL 512
Donnerstags, 14:00 bis 16:00 im Raum TEL 716
Donnerstags, 14:00 bis 16:00 im Raum TEL 716
Übung:
Freitags, 10:00 bis 12:00 Uhr im Raum TEL 512
Lecture:
Algorithmic Graph Structure Theory (für M. Sc. Mathematik)
entspricht der Vorlesung mit dem Titel
Graph Decompositions and Applications in Algorithmics and Logic (für M. Sc. Informatik)
entspricht der Vorlesung mit dem Titel
Graph Decompositions and Applications in Algorithmics and Logic (für M. Sc. Informatik)
Weitere Informationen erhalten Sie im Isis-Kurs
Vorlesung:
Donnerstags, 10:00 bis 12:00 im Raum TEL 512
Dienstags, 14:00 bis 16:00 Uhr im Raum TEL 512
Dienstags, 14:00 bis 16:00 Uhr im Raum TEL 512
Übung:
Freitags, 12:00 bis 14:00 Uhr im Raum FR 3043
Seminar:
Weitere Informationen erhalten Sie im Isis-Kurs
Seminar:
Blockseminar
Erstes Treffen
Mittwoch, den 18. April 2012, 14:00 Uhr
(Achtung: geänderter Termin) im Raum FR 6079.
(Achtung: geänderter Termin) im Raum FR 6079.
Kolloquium:
Kolloquium:
Dienstags, 10:00 Uhr bis 12:00 Uhr, im Raum
Winter Term 2011/12
Lecture:
Vorlesung:
Donnerstags, 10 - 12 Uhr, Raum MA 001 (Mathematikgebäude)
Übung:
Zu den im VVZ angebotenen acht Übungsterminen wurden zwei weitere Tutorien eröffnet:
Montags, 10:00-12:00 Uhr bei Prof. Dr. Stephan Kreutzer im Raum FR 5514
sowie: Montags, 16:00-18:00 Uhr bei Sebastian Siebertz im Raum FR 3043
Montags, 10:00-12:00 Uhr bei Prof. Dr. Stephan Kreutzer im Raum FR 5514
sowie: Montags, 16:00-18:00 Uhr bei Sebastian Siebertz im Raum FR 3043
1.Klausur:
21. Februar 2012 von 10:00 bis 12:00 Uhr, in den Räumen H 0104, H 0110 und H 0112
2.Klausur:
4. April 2012 von 10:00 bis 12:00 Uhr, in den Räumen A 151 und A 053
Klausureinsicht
5. März 2012 ab 11:00 Uhr; Raum wird bekannt gegeben.
Lecture:
Achtung: Die Räume und Zeiten haben sich geändert!
Vorlesung:
Montags, 10 - 12 Uhr, Raum FR 5514
Donnerstag, 16 - 18 Uhr, Raum FR 5514
Donnerstag, 16 - 18 Uhr, Raum FR 5514
Übung:
Nach Absprache in der Vorlesung
Seminar:
Initial meeting:
Wednesday, 26th October 2011, 14.00 Room FR 6079.
Date of the reading course:
in one block at the end of term.
Seminar:
Termin:
Mittwochs, 11-12 Uhr, Raum FR 6079
Summer Term 2011
Lecture:
Logik, Spiele und Automaten
Lectures at the University of Oxford
Hilary Term 2009
Lecture:
Michaelmas Term 2008
Lecture:
Michaelmas Term 2007
Lectures at the Humboldt-University Berlin
Summer term 2007
Seminar:
Unregelmäßig Freitags, 13.00 - 15.00, Raum 3.113
Winter term 2006/2007
Seminar:
Usually Friday, 13.00 - 15.00, Room 3.113
Summer term 2006
Seminar:
usually Friday, 13.00 - 15.00, Room 3.113
Winter term 2005/2006
Seminar:
usually Friday, 13.00 - 15.00, Room 3.113
Summer term 2005
Seminar:
Usually Fridays, 13.00 - 15.00, Room 3.113