Teaching

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
Colloquium:

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
Colloquium:

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.
Colloquium:

Winter Term 2015/16

Vorlesung:
Vorlesung:
Donnerstag, 10:00 - 14:00 Uhr im Raum MA 001
Übung:
?
Tutorien:
?
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
Colloquium:

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
Colloquium:

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
Colloquium:

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)
Ü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
Classes:
Friday, 12:00 - 14:00, room TEL 512
Lecture:
Lecture:
Monday, 10:00 bis 12:00 am, room TEL 512
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
Ü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
Ü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
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
Übung:
Freitags, 10:00 bis 12:00 Uhr im Raum TEL 512
Lecture:
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
Ü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.
Kolloquium:
Kolloquium:
Dienstags, 10:00 Uhr bis 12:00 Uhr, im Raum
Seminar:
Seminar:
Montags, 10:00 Uhr bis 12:00 Uhr, im Raum FR 3035

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
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
Ü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.

Summer Term 2011

Lecture:
Logik, Spiele und Automaten

Lectures at the University of Oxford

Hilary Term 2011

Lecture:

Hilary Term 2010

Lecture:

Hilary Term 2009

Lecture:

Michaelmas Term 2008

Michaelmas Term 2007

Lecture:
accessible only from Oxford

Lectures at the Humboldt-University Berlin

Summer term 2007

Seminar:
Freitags, 11.00 - 13.00, Raum 4.410
Seminar:
Unregelmäßig Freitags, 13.00 - 15.00, Raum 3.113

Winter term 2006/2007

Lecture:
in german
Seminar:
Freitags, 11.00 - 13.00, Raum 4.410
Seminar:
Usually Friday, 13.00 - 15.00, Room 3.113

Summer term 2006

Seminar:
in german
Seminar:
Usually Friday, 11.00 - 13.00, Room 4.410
Seminar:
usually Friday, 13.00 - 15.00, Room 3.113

Winter term 2005/2006

Seminar:
in german
Seminar:
usually Friday, 11.00 - 13.00, Room 4.410
Seminar:
usually Friday, 13.00 - 15.00, Room 3.113

Summer term 2005

Lecture:
jointly with Prof. Dr. Nicole Schweikardt, in german
Seminar:
Usually Fridays, 11.00 - 13.00, Room 4.410
Seminar:
Usually Fridays, 13.00 - 15.00, Room 3.113