Lecture list

Algebra des Programmierens [AlgProg] V/UE; 4 cred.h; ECTS: 7,5; Mon, 10:15 - 11:45, 01.150-128; Fri, 12:15 - 13:45, K1-119; starting 28.4.2017				WPF INF-MA ab 2 WPF INF-BA-V-THI ab 4 WF M-BA ab 4 WF M-MA ab 2	Schröder, L.
Homotopy Type Theory [HoTT] SEM; 2 cred.h; ECTS: 5; Wed, 14:15 - 15:45, Übung 3 / 01.252-128				WPF M-BA ab 4 WPF INF-BA-SEM ab 4 WPF M-MA ab 1	Goncharov, S. Litak, T.
Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI] UE; 2 cred.h; Thu, 10:15 - 11:45, H4				PF BPT-MA-Inf ab 1 PF INF-LAG 2 PF INF-LAR 2 PF INF-LAG 2 PF WINF-BA 4 PF BPT-MA-Inf ab 1	Milius, S. Goncharov, S.
Intensivübung zu Theorie der Programmierung [IÜThProg] UE; 2 cred.h; Fri, 14:15 - 15:45, 0.68				PF INF-BA-S 5 PF INF-BA 4	Rauch, Ch.
Modallogik [ML] V/UE; 4 cred.h; Wed, Thu, 16:15 - 17:45, Raum n.V.; Voraussichtliche Termine SS17: Mi, 16:15 und Do, 16:15 jeweils in Raum 00.131, Cauerstraße 11				WF M-MA ab 1 WPF INF-MA ab 1 WPF INF-BA-V-THI ab 4 WF M-BA ab 3	Hausmann, D.
Praktische Semantik von Programmiersprachen [SemProg] V/UE; 4 cred.h; Thu, 14:15 - 15:45, 01.255-128; Fri, 12:15 - 13:45, 01.255-128				WF M-BA ab 3 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-MA ab 1	Litak, T. Rauch, Ch.
Seminar Theoretische Informatik [ThInfSem] OS; 2 cred.h; Tue, 14:00 - 16:00, Raum n.V.; starting 2.5.2017; Raum 00.00.131-128, Cauerstraße 11				WF INF-BA 5-6 WF INF-BA-S 4-6 WF INF-MA ab 1	Schröder, L.
Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI] VORL; 2 cred.h; Tue, 16:15 - 17:45, H16				PF INF-LAG 2 PF BPT-MA-Inf ab 1 PF WINF-BA 4 PF BPT-MA-Inf ab 1 PF INF-LAR 2	Milius, S.
Theorie der Programmierung [ThProg] VORL; 4 cred.h; Mon, 14:15 - 15:45, C1 - Chemikum; Thu, 16:15 - 17:45, H9				PF INF-BA 4 PF INF-BA-S 5 WPF M-BA 4	Schröder, L.
Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ÜThInfWI-A] UE; 2 cred.h; credit: 2,5				PF BPT-MA-Inf ab 1 PF INF-LAR 2 PF WINF-BA 4 PF INF-LAG 2 PF BPT-MA-Inf ab 1	Litak, T.
	Mon	8:15 - 9:45	00.151-113		Albert, B.
	Mon	10:15 - 11:45	0.151-115		Zimmermann, R.
	Mon	10:15 - 11:45	00.151-113		Meyer, N.
	Thu	8:15 - 9:45	K1-119		Göttlinger, M.
Übungen zu Theorie der Programmierung [ÜThProg] UE; 2 cred.h; certificate				PF INF-BA 4 PF INF-BA-S 5	Rauch, Ch.
	Mon	16:15 - 17:45	0.68		Kern, J.
	Tue	10:15 - 11:45	n.V.		Unger, F.
	Die Übung findet im Raum 00.131-128, EG, Felix-Klein-Gebäude, Cauerstraße 11 statt.				Unger, F.
	Tue	12:15 - 13:45	n.V.		Haselmeier, F.
	Die Übung findet im Raum 00.131-128, EG, Felix-Klein-Gebäude, Cauerstraße 11 statt.				Haselmeier, F.
	Tue	12:15 - 13:45	02.134-113		Höllring, K.
	Thu	12:15 - 13:45	n.V.		Höllring, K.
	Die Übung findet im Raum 00.131-128, EG, Felix-Klein-Gebäude, Cauerstraße 11 statt.				Höllring, K.
	Thu	12:15 - 13:45	01.151-128		Cengiz, Ü.
	Thu	12:15 - 13:45	0.85		Braun, K.
	Fri	16:15 - 17:45	01.151-128		Weiß, S.



	UnivIS is a product of Config eG, Buckenhof

Chair of Computer Science 8 (Theoretical Computer Science)

Algebra des Programmierens [AlgProg]

Homotopy Type Theory [HoTT]

Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI]

Intensivübung zu Theorie der Programmierung [IÜThProg]

Modallogik [ML]

Praktische Semantik von Programmiersprachen [SemProg]

Seminar Theoretische Informatik [ThInfSem]

Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI]

Theorie der Programmierung [ThProg]

Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ÜThInfWI-A]

Übungen zu Theorie der Programmierung [ÜThProg]