21. Januar: Notizen zu Alternierenden Büchi Automaten
19. Januar: Zusätzlicher Hintergrund zu Temporal Logic
12. Januar: Die Vorlesung am 12.01. fällt aus gesundheitlichen Gründen aus
06. Januar: Zusätzlicher Hintergrund zu Parikhs Theorem
03. November - Entgegen vorheriger Ankündigungen findet die Vorlesung am 03.11. statt.
28. Oktober - Die große Übung startet am 05.11. Das erste Hausaufgabenblatt wird am 29.10. veröffentlicht.
16. Oktober - Die Vorlesung startet am 27.10.
18. Juli - Die Informationen auf dieser Seite sind noch vorläufig.
Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen: