Morgen, Dienstag 21.1.2008 finden Nachholvorlesungen für "Automatentheorie und Formale Sprachen" und "Logik, Berechenbarkeit und Komplexität" statt. Näheres findet sich auf den Homepages der jeweiligen Vorlesungen.