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 im WiSe 2022/23
Hallo zusammen,
INF8 bietet im Wintersemester folgende Vertiefungsveranstaltungen an:
Advanced Mechanized Reasoning in Coq (Tadeusz Litak)
Formale Methoden der Softwareentwicklung (Tadeusz Litak, Paul Wild)
Kommunikation und parallele Prozesse ( (Lutz Schröder)
Seminar Homotopy Type Theory (Sergey Goncharov, Tadeusz Litak)
Seminar Advanced Competitive Programming (Paul WIld)
Seminar Themen der Kategorientheorie (Stefan Milius)
Genauere Informationen unter https://www8.cs.fau.de/teaching/
Viele Grüße,
Lutz Schröder