Teaching

Summer Term 2020

Vorlesung:
Logische Methoden der Informatik
Lecture:
Thursday 12:00-02:00 p.m.
Exercise:
tba
Lecture (Master):
Graph Minors
Lecture:
tba
Exercise:
tba
Lecture:
Logic, Games and Automata/Logik, Spiele und Automaten
Lecture:
tba
Classes:
tba
Seminar (Master):
Current trends in graph theory and combinatorics
First Meeting:
tba
Blockseminar:
Angewandte Logiken
First Meeting:
tba

Winter Term 2019/20

Vorlesung:
Logik
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum MA 001
Übung:
Donnerstag, 16:00 - 18:00 Uhr im Raum EB 202
Vorlesung:
Digraph Structure Theory
Lecture:
Wednesday, 10:00 - 12:00 a.m., room TEL 713
Exercise:
Monday, 12:00 - 14:00 a.m., room TEL 713
Vorlesung:
Algorithmic Graph Structure Theory
Lecture:
Tuesday, 10:00 - 12:00 a.m., room TEL 512
Exercise:
Friday, 10:00 - 12:00 a.m., room TEL 512
Colloquium:
Research Colloquium

Summer Term 2019

Vorlesung:
Logische Methoden der Informatik
Lecture:
Thursday 12:00-14:00 - A151
Exercise:
Monday/Wednesday 12:00-14:00 - MA649
Vorlesung:
Diskrete Strukturen
Lecture:
Donnerstag 10:00-12:00 - MA001
Exercise:
Donnerstag 16:00-18:00 - H0104
Integrierte Lehrveranstaltung (Master):
Graph Minors
Lecture:
Wednesday 10:00-12:00 - TEL512
Exercise:
tba
Seminar (Master):
Current trends in graph theory and combinatorics
First Meeting:
tba

Winter Term 2018/19

Vorlesung:
Logik
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum A 151
Übung:
Donnerstag, 16:00 - 18:00 Uhr im Raum H1012
Vorlesung:
Extremal Graphtheory
Lecture:
Tuesdays, 14:00 - 16:00 in Room TEL 512
Exercise:
Thursdays, 14:00 -16:00 in Room TEL 512
Colloquium:
Research Colloquium

Summer Term 2018

Vorlesung:
Logische Methoden der Informatik
Lecture:
Thursdays, 12:00 - 14:00 in Room A 151
Exercise:
Wednesdays, 12:00 -14:00 in Room MA 650

Winter Term 2017/18

Colloquium:
Forschungskolloquium zu aktuellen Themen der Logik und Graphentheorie
Vorlesung:
Logik
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:
Diskrete Strukturen
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:
Graphsuchspiele / Graph Searching Games
Einführungsveranstaltung:
Dienstag, 12:00 - 14:00 Uhr 17.10.2017 im Raum TEL 512
Colloquium:
Research Colloquium

Summer Term 2017

Integrierte LV:
Algorithmic Graph Structure Theory
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:
Angewandte Logiken
Einführungsveranstaltung:
Dienstag, 25.04.2017, 14:00 - 16:00 im Raum TEL 713
Colloquium:
Forschungskolloquium zu aktuellen Themen der Logik und Graphentheorie
Vorlesung:
Logische Methoden der Informatik
Vorlesung:
Donnerstag, 12:00 - 14:00 im Raum A 151
Übung:
Dienstag, 10:00 - 12:00 im Raum MA 649
Integrierte LV:
Spieltheorie
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:
Logic/Logik
Lecture:
Thursday, 10:00 - 12:00 in room A 151
Classes:
Thursday, 16:00 - 18:00 in room E 020
Lecture:
Logic, Games and Automata/Logik, Spiele und Automaten
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:
Research Colloquium

Summer Term 2016

Vorlesung:
Logische Methoden der Informatik
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:
Graph Decompositions and Applications in Algorithmics and Logic
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:
Research Colloquium

Winter Term 2015/16

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

Summer Term 2015

Vorlesung:
Logik, Spiele, Automaten
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:
Theoretische Grundlagen der Informatik Service
Vorlesung:
Montag, 12:00 - 14:00 Uhr im Raum C 130
Vorlesung:
Freitag, 10:00 - 12:00 Uhr im Raum A 151
Vorlesung:
Logische Methoden der Informatik
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum MA 041
Übung:
Dienstag, 10:00 - 12:00 Uhr im Raum MAR 0.002
Seminar:
Angewandte Logiken
Einführungsveranstaltung:
Freitag, 17.04.2015, 14:00 - 16:00 Uhr im Raum TEL 713
Colloquium:
Research Colloquium

Winter Term 2014/15

Vorlesung:
Diskrete Strukturen
Vorlesung:
Dienstag, 10:00 - 12:00 Uhr im Raum MA 001
Übung:
Dienstag, 16:00 - 18:00 Uhr im Raum A 151
Vorlesung:
Logik - TheGI3
Vorlesung:
Donnerstag, 10:00 - 12:00 Uhr im Raum MA 001
Übung:
Donnerstag, 16:00 - 18:00 Uhr im Raum H 1058
Lecture:
Digraph Structure Theory
Lecture:
Tuesday, 2:00 - 4:00 p.m. room TEL 512
Classes:
Thursday, 2:00 - 4:00 p.m. room TEL 512
Colloquium:
Research Colloquium

Summer Term 2014

Summerterm 2014 is a sabbatical term (ending on 30 September 2014)

Winter Term 2013/14

Lecture:
Theoretische Grundlagen der Informatik 1 - Grundlagen und algebraische Strukturen
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:
Theoretische Grundlagen der Informatik 3 - Logiken und Kalküle
Vorlesung:
Donnerstag, 10:00 bis 12:00 im Raum MA 001
Übung:
Donnerstag, 16:00 bis 18:00 Uhr
Kolloquium:
Forschungskolloquium zu aktuellen Themen der Logik und Graphentheorie

Summer Term 2013

Lecture:
Logic, Games and Automata
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:
Graph Decompositions and Applications in Algorithmics and Logic (CS)
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
Classes:
Thursday, 12:00 bis 2:00 pm room TEL 512
Colloquium:
Research seminar on current topics of logic and algorithmic graph theory

Winter Term 2012/13

Lecture:
Logik und Komplexität
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:
Theoretische Grundlagen der Informatik 3 - Logiken und Kalküle
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:
Theoretische Grundlagen der Informatik für TI - TheGI TI
Vorlesung:
Montag, 12:00 bis 14:00 Uhr im Raum H 1058
Donnerstag, 12:00 bis 14:00 Uhr im Raum H 2013
Kolloquium:
Forschungskolloquium zu aktuellen Themen der Logik und Graphentheorie
Kolloquium:
Dienstags, 10:00 Uhr bis 12:00 Uhr, im Raum

Summer Term 2012

Lecture:
Logik, Spiele und Automaten
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:
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)
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:
Foundations of Data Integration
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:
Forschungskolloquium zu aktuellen Themen der Logik und Graphentheorie
Kolloquium:
Dienstags, 10:00 Uhr bis 12:00 Uhr, im Raum
Seminar:
Angewandte Logiken
Seminar:
Montags, 10:00 Uhr bis 12:00 Uhr, im Raum FR 3035

Winter Term 2011/12

Lecture:
Theoretische Grundlagen der Informatik 3
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:
Logik und Komplexität
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:
Quantitative Verification and Timed Automata
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:
Forschungsseminar zu aktuellen Themen der Logik und algorithmischen Graphentheorie
Termin:
Mittwochs, 11-12 Uhr, Raum FR 6079

Summer Term 2011

Lecture:
Logik, Spiele und Automaten

Lectures at the University of Oxford

Hilary Term 2011

Lecture:
Computational Complexity
Lecture:
Logic and Proof

Hilary Term 2010

Lecture:
Computational Complexity
Lecture:
Logic and Proof

Hilary Term 2009

Lecture:
Logic and Proof

Michaelmas Term 2008

Lecture:
Computational Complexity

Michaelmas Term 2007

Lecture:
Computational Complexity
accessible only from Oxford

Lectures at the Humboldt-University Berlin

Summer term 2007

Lecture:
Anwendungen von Graphzerlegungen in Algorithmik und Logik
in german
Seminar:
Weekly seminar of the logic group
Freitags, 11.00 - 13.00, Raum 4.410
Seminar:
Oberseminar 'Theoretische Informatik': seminar of the theory group
Unregelmäßig Freitags, 13.00 - 15.00, Raum 3.113

Winter term 2006/2007

Lecture:
Logic, Games, and Automata
in german
Seminar:
Weekly seminar of the logic group
Freitags, 11.00 - 13.00, Raum 4.410
Seminar:
Oberseminar 'Theoretische Informatik': seminar of the theory group
Usually Friday, 13.00 - 15.00, Room 3.113

Summer term 2006

Seminar:
Games in Computer Science
in german
Seminar:
Weekly seminar of the logic group
Usually Friday, 11.00 - 13.00, Room 4.410
Seminar:
Oberseminar 'Theoretische Informatik': seminar of the theory group
usually Friday, 13.00 - 15.00, Room 3.113

Winter term 2005/2006

Lecture:
SAT-Solving und Constraint-Satisfaction Probleme
in german
Seminar:
Endliche Modelltheorie
in german
Seminar:
Weekly seminar of the logic group
usually Friday, 11.00 - 13.00, Room 4.410
Seminar:
Oberseminar 'Theoretische Informatik': seminar of the theory group
usually Friday, 13.00 - 15.00, Room 3.113

Summer term 2005

Lecture:
Logik und Komplexität
jointly with Prof. Dr. Nicole Schweikardt, in german
Seminar:
Weekly seminar of the logic group
Usually Fridays, 11.00 - 13.00, Room 4.410
Seminar:
"Oberseminar": Weekly seminar of the theory group
Usually Fridays, 13.00 - 15.00, Room 3.113