Lecture list

Information system of Friedrich-Alexander-University Erlangen-Nuremberg

© Config eG

Collection/class schedule module collection

Home | Legal Matters | Contact | Help

search:

semester:

Staff/
Facilities

Research-
report

Internat.
contacts



	Layout
		short verbose printable version


		class schedule



	Extras
		tag all untag all export to XML



	Also in UnivIS
		course list lecture directory


		events calendar job offers furniture and equipment offers

Departments >> Faculty of Engineering >> Department of Computer Science >>

Chair of Computer Science 8 (Theoretical Computer Science)

	Algebra des Programmierens [AlgProg] V/UE; 4 cred.h; ECTS: 7,5; Mon, 16:15 - 17:45, 00.152-113; Tue, 10:15 - 11:45, Raum n.V.; ab 29.10.13 im Seminarraum 11.150, LS f. INF8, 11. OG, Martensstr. 3				WPF INF-MA ab 7 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WF M-BA ab 3 WF M-MA ab 7	Milius, S.
	Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 cred.h; ECTS: 7,5; Wed, 14:15 - 15:45, 16:15 - 17:45, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11.150				WPF INF-BA-V-THI ab 5 WPF INF-BA-V-THI ab 5 WPF INF-MA ab 7 WF M-BA ab 5 WF M-MA ab 7	Milius, S. Gorin, D.
	Foundations of Logic and Logic Programming [GLoLoP] VORL; 2 cred.h; credit: 2,5; ECTS: 2,5; Anf; Wed, 8:15 - 9:45, H9				PF INF-BA-S 3 PF INF-BA-W 3 PF WINF-BA 3	Schröder, L.
	Intensivübung zu Grundlagen der Logik und Logikprogrammierung [InUeGLoLoP] UE; 2 cred.h; Anf				PF INF-BA-S 3 PF INF-BA-W 3 PF WINF-BA 3	Goncharov, S.
		Tue	16:15 - 17:45	00.151-113		Goncharov, S.
	Logische Grundlagen der Datenbanktheorie [LGruDat] V/UE; 4 cred.h; ben. certificate; ECTS: 7,5				WPF INF-MA ab 7 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WF M-BA ab 4 WF M-BA ab 7	Litak, T.
		Fri	10:00 - 14:00	n.V.		Litak, T.
		Seminarraum INF8, Martensstr. 3, 11.150				Litak, T.
	Ontologien im Semantic Web [OntoSWeb] VORL; 4 cred.h; ECTS: 7,5; Thu, 12:15 - 13:45, 01.255-128; Thu, 14:30 - 16:00, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11.150				WF M-BA ab 3 WPF INF-MA ab 7 WPF INF-BA-V-THI ab 5 WF M-MA ab 7	Schröder, L.
	Praktikum Modellierung und formale Verifikation mit SCADE [FM-Lab] PR; 8 cred.h; ECTS: 10; Mon, 14:15 - 15:45, Raum n.V.; n.V.					Milius, S.
	Projekt angewandte Wissensrepräsentation [KR-Projekt] PJS; 2 cred.h; ECTS: 10; Zeit und Raum n.V.					Schröder, L. Gorin, D.
	Seminar Curry-Howard Korrespondenz [SemCurry] SEM; 2 cred.h; ECTS: 5; Thu, 18:00 - 20:00, Raum n.V.; starting 18.10.2013; Seminarraum LS INF8, Martensstr. 3, 11. OG; Preliminary meeting: 18.10.2013, 14:00 - 16:00 Uhr				PF INF-MA ab 7 PF INF-BA-S ab 4 PF INF-BA-W ab 4 WF M-BA ab 4 WF M-MA ab 7	Litak, T. Gorin, D.
	Seminar Theoretische Informatik [ThInfSem] OS; 2 cred.h; Tue, 14:00 - 16:00, Raum n.V.; Seminarraum INF8, Martensstr. 3 11.150				WF INF-BA-W 5-6 WF INF-BA-S 4-6 WF INF-MA ab 1	Schröder, L.
	Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP] UE; 2 cred.h; certificate; credit: 2,5; ECTS: 2,5; Anf				PF INF-BA-S 3 PF INF-BA-W 3 PF WINF-BA 3	Goncharov, S.
		Tue	10:15 - 11:45	00.151-113		Goncharov, S.
		Wed	12:15 - 13:45	H16		Goncharov, S.
		Wed	16:15 - 17:45	00.151-113		Goncharov, S.
		Thu	14:15 - 15:45	00.151-113		Goncharov, S.
		Fri	10:15 - 11:45	02.133-113		Goncharov, S.



	UnivIS is a product of Config eG, Buckenhof