Theorievertiefung im SoSe 2019

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 SoSe 2019
Hallo zusammen,

anlässlich des bevorstehenden Semesterbeginns hier noch mal ein summarischer Hinweis auf die Vertiefungsveranstaltungen des LS 8:

Praktische Semantik von Programmiersprachen [SemProg] (VUE, 4 SWS, Tadeusz Litak)
Themen der Kategorientheorie (Seminar, 2 SWS, Stefan Milius)
Monad-Based Programming (VUE, 4 SWS, Sergey Goncharov)
Nominale Mengen und Automaten (Seminar, 2 SWS, Lutz Schröder)

Viele Grüße,

Lutz Schröder