Vertiefungsveranstaltungen Theorie im SoSe 2016

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.

Vertiefungsveranstaltungen Theorie im SoSe 2016
Hallo,

der Lehrstuhl 8 bietet im Sommersemester folgende Vertiefungsveranstaltungen an:

Daniel Hausmann: Modallogik [ML], V/UE; 4 SWS; Mo, 16:15 - 17:45, Mi, 14:15 - 15:45, Raum 00.131-128 (Cauerstraße 11)

Tadeusz Litak: Praktische Semantik von Programmiersprachen [SemProg], V/UE; 4 SWS; Di, 16:15 - 17:45, 00.153-113; Mi, 12:15 - 13:45, E 1.11; Beginn 13. April.

(Termine können typischweise im Einvernehmen der Teilnehmer neu vereinbart werden. SemProg wird auf Englisch abgehalten.)

Herzliche Grüße,

Lutz Schröder