Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Theorievertiefung WiSe 2020/21
Hallo,
INF8 bietet im WiSe folgende Vertiefungsveranstaltungen an:
Nonclassical Logics in Computer Science
Formale Methoden der Softwareentwicklung
Seminar Automaten über unendlichen Wörtern
Seminar Themen der Kategorientheorie
Details unter https://www8.cs.fau.de/teaching/
Herzliche Grüße,
Lutz Schröder
Seminar Automaten über unendlichen Wörtern
Hallo,
das Seminar findet zumindest im November erst einmal auf Zoom statt, Zugangsdaten finden sich im StudOn-Kurs:
https://www.studon.fau.de/crs3374160.html
Herzliche Grüße,
Lutz Schröder