Theorievertiefung WiSe 2021/22

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 2021/22
Hallo zusammen,

INF8 bietet im Sommersemester folgende Vertiefungsveranstaltungen an:

Advanced Mechanized Reasoning in Coq (Tadeusz Litak)
Algebra des Programmierens (Stefan Milius)
Formale Methoden der Softwareentwicklung (Tadeusz Litak)
Monad Based Programming (Sergey Goncharov)
Ontologien im Semantic Web (Lutz Schröder)

Genauere Informationen unter https://www8.cs.fau.de/teaching/ws21/

Viele Grüße,

Lutz Schröder