Theorievertiefung SoSe 2021

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 SoSe 2021
Hallo Zusammen,

INF8 bietet im Sommersemester folgende Vertiefungsveranstaltungen an:

Kommunikation und Parallele Prozesse (Sergey Goncharov)
Seminar Homotopy Type Theory (Tadeusz Litak and Sergey Goncharov)
Praktische Semantik von Programmiersprachen (Tadeusz Litak)

Einzelheiten auf der verlinkten Webseiten.

Viele Grüße,
Sergey Goncharov