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)

	Formale Methoden der Softwareentwicklung [FMSoft] V/UE; Online/Präsenz; 4 cred.h; ECTS: 7,5; Wed, 14:15 - 15:45, 01.255-128; Thu, 12:15 - 13:45, 00.131-128; Vorlesungen und Übungen finden als Liveübertragungen statt, nach Absprache auch in Präsenz; Auswahl des Konferenzdienstes erfolgt über StudOn				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; Online; 2 cred.h; ECTS: 5; Anf; Fri, 12:15 - 13:45, H7; Veranstaltung findet mangels Kapazität des Hörsaals voraussichtlich digital via Zoom statt				PF INF-BA 3 PF I2F-BA 3 PF WINF-BA 3	Schröder, L.
	Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn] UE; Online; 2 cred.h; Anf; Mon, 12:15 - 13:45				PF INF-BA 3 PF WINF-BA 3	Goncharov, S.
	Nonclassical Logics in Computer Science [NoCL] V/UE; Online/Präsenz; 4 cred.h; certificate; ECTS: 7,5; Mon, Tue, 12:15 - 13:45, 01.255-128; Raumreservierung bleibt zunächst bestehen. Veranstaltung wird nach Möglichkeit in Präsenz angeboten, bei Bedarf mit digitalem Zusatzangebot, etwa Liveübertragung per Zoom.				WF Ph-MA ab 1 WF IIS-MA 1 WF M-BA ab 3 WF INF-BA ab 6 WF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WF M-MA ab 1 WF WINF-BA ab 5 WF MT-MA ab 1 WF Ph-BA ab 5	Litak, T. Schröder, L.
	Seminar Automaten über unendlichen Wörtern [AutoInf] SEM; Online/Präsenz; 2 cred.h; ECTS: 5; Mon, 14:15 - 15:45, 00.131-128; Raumreservierung bleibt bestehen. Veranstaltung wird voraussichtlich in Präsenz angeboten, bei Bedarf mit digitalen Zusatzangebot, etwa Liveübertragung via Zoom				WF M-BA ab 4 WF M-MA ab 1 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-KI ab 4 WPF I2F-BA ab 4 WPF INF-LAG ab 4 WPF INF-LAG-M ab 4 WPF INF-LAG-P ab 4 WPF INF-MA ab 1	Schröder, L.
	Seminar Theoretische Informatik [ThInfSem] OS; 2 cred.h; Tue, 14:00 - 16:00, 00.131-128				WF INF-BA 5-6 WF INF-MA ab 1	Schröder, L.
	Themen der Kategorientheorie [TopCat] SEM; Online/Präsenz; 2 cred.h; ECTS: 5; Wed, 10:15 - 11:45, 00.131-128; Präsenztermine evtl. im Wechsel mit Online-Meeting in Zoom				WPF INF-BA ab 4 WPF INF-MA ab 2 WF M-BA ab 4 WF M-MA ab 2	Milius, S.
	Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn] UE; Online; 2 cred.h; Anf				PF INF-BA 3 PF WINF-BA 3	Goncharov, S.
		Tue	8:15 - 9:45	H15		Cengiz, Ü.
		Tue	8:15 - 9:45	02.134-113		Strahlberger, A.
		Tue	10:15 - 11:45	01.150-128		Cengiz, Ü.
		Tue	10:15 - 11:45	3.71		Meyer, N.
		Tue	16:15 - 17:45	01.150-128		Strahlberger, A.
		Thu	8:15 - 9:45	K1-119 Brose-Saal		Birkmann, F.
		Thu	16:15 - 17:45	01.150-128		Birkmann, F.
		Thu	16:15 - 17:45	02.134-113		Lehnert, A.



	UnivIS is a product of Config eG, Buckenhof