|
|
|
|
|
|
|
|
|
|
Lecture: Computational Complexity
|
|
|
|
|
|
|
Lecture: Computational Complexity (accessible only from Oxford)
|
|
|
|
|
|
| Lectures given at the Humboldt-University Berlin |
|
|
|
Lecture: Anwendungen von Graphzerlegungen in Algorithmik und Logik (in german)
|
Seminar: |
Weakly 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 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
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 |
|
|
|
|
|