| Vorlesung | Die Komplexität des constraint satisfaction Problems | Di 13-15 Raum 1'307, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Do 13-15 Raum 1'308, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) | ||
| (Übungen dazu bei Magdalena Grüber, siehe Vorlesungsseite) |
| Übungsgruppe | Theoretische Informatik I | Do 11-13, Raum 1'306, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Übungsgruppe | Theoretische Informatik II | Do 15-17, Raum 1'305, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Vorlesung | Parametrische Algorithmen und Komplexitätstheorie | Mo 9-11 und Mi 9-11, Raum 1'303, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| (Übungen dazu bei Magdalena Grüber, siehe Vorlesungsseite) |
| 2 Übungsgruppen | Theoretische Informatik I | Di 15-17, Raum 1'307, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Mi 9-11, Raum 1'307, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) | ||
| Übungsgruppe | Logik in der Informatik | Do 15-17, Raum 1'303, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Seminar | Automaten für unendliche Wörter | Di 9-11, Raum 1'307, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Übungsgruppe | Theoretische Informatik I | Di 15-17, Raum 1'307, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Übungsgruppe | Logik in der Informatik | Do 15-17, Raum 1'303, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Übungsgruppe | Baumzerlegungen von Graphen und ihre algorithmischen Anwendungen | Do 11-13, Raum 1'308, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Projekt | Theorie und Anwendung von Theorembeweisern | Do 13-15, Raum 1'306, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Übungsgruppe | Theoretische Informatik I | Fr 9-11, Raum 1'307, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |
| Übungsgruppe | Logik in der Informatik | Di 11-13, Raum 1'307, Rudower Chaussee 26 (Erwin-Schrödinger-Zentrum) |