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)

	Advanced Mechanized Reasoning in Coq [AMeRiCo] V/UE; 4 cred.h; ECTS: 7,5; Tue, Wed, 18:15 - 19:45, 01.151-128				WPF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WF M-BA ab 5 WF M-MA ab 1 WPF AI-MA ab 1	Litak, T.
	Algebra des Programmierens [AlgProg] V/UE; Präsenz; 4 cred.h; ECTS: 7,5; Tue, 16:15 - 17:45, 01.255-128; Thu, 8:15 - 9:45, 01.255-128				WPF INF-MA ab 2 WPF INF-BA-V-THI ab 4 WF M-BA ab 4 WF M-MA ab 2	Milius, S.
	Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 cred.h; ECTS: 7,5; Mon, Thu, 14:15 - 15:45, 01.255-128				WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-BA ab 4 WF M-MA ab 1 WF IIS-MA ab 1 WF WINF-BA ab 4	Litak, T. Wild, P.
	Logic in Computer Science [GLoIn] VORL; Präsenz; 2 cred.h; ECTS: 5; Anf; Fri, 12:15 - 13:45, H7, (außer Fri 19.11.2021); single appointment on 19.11.2021, 12:15 - 13:45, C1 - Chemikum				PF INF-BA 3 PF I2F-BA 3 PF WINF-BA 3 WPF DS-BA 3	Schröder, L.
	Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn] UE; Präsenz; 2 cred.h; Anf; Tue, 12:15 - 13:45, 01.150-128				PF INF-BA 3 PF WINF-BA 3 WPF DS-BA 3	Goncharov, S.
	Monad-Based Programming [MBProg] V/UE; Präsenz; 4 cred.h; ECTS: 7,5; Fri, 12:15 - 13:45, 00.131-128; Wed, 16:15 - 17:45, 01.021				WF M-BA ab 3 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-MA ab 1	Goncharov, S.
	Ontologien im Semantic Web [OntoSWeb] V/UE; Präsenz; 4 cred.h; ECTS: 7,5; Die Unterrichtssprache wird im Einvernehmen mit den Teilnehmern bestimmt / The course language will be agreed upon with the participants; Mon, 16:15 - 17:45, 01.255-128; Tue, 12:15 - 13:45, 01.255-128				WF M-BA ab 3 WF M-MA ab 1 WPF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WPF DS-BA-DW 6 WPF AI-MA ab 1	Schröder, L.
	Seminar Theoretische Informatik [ThInfSem] OS; Präsenz; 2 cred.h; Tue, 14:00 - 16:00, 00.131-128				WF INF-BA 5-6 WF INF-MA ab 1	Schröder, L.
	Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn] UE; Präsenz; 2 cred.h; Anf				WPF DS-BA 3 PF INF-BA 3 PF WINF-BA 3	Goncharov, S.
		Mon	10:15 - 11:45	01.150-128		Hennig, F.
		Mon	12:15 - 13:45	02.133-113		Teufel, T.
		Tue	8:15 - 9:45	02.134-113		Strahlberger, A.
		Tue	10:15 - 11:45	02.134-113		Strahlberger, A.
		Tue	14:15 - 15:45	0.157-115		Teufel, T.
		Ab dem 9.10.21 findet dieser Kurs im Raum 0.157-115 statt!				Teufel, T.
		Wed	8:15 - 9:45	Zoom-Meeting		Lehnert, A.
		Thu	10:15 - 11:45	02.133-113		Lehnert, A.



	UnivIS is a product of Config eG, Buckenhof