UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 Lectures   Staff/
Facilities		   Room
directory		   Research-
report		   Publications   Internat.
contacts		   Thesis
offers		   Phone
book		 
ACHTUNG: seit 15.06.2022 werden Lecture list nur noch über Campo verwaltet. Diese Daten in UnivIS sind nicht mehr auf aktuellem Stand!
 
 Layout
 
short

verbose

printable version

  
 
class schedule

  
 
 Extras
 
tag all

untag all

export to XML

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

Chair of Computer Science 8 (Theoretical Computer Science)

 

Advanced Competitive Programming

SEM; 2 cred.h; ECTS: 5; Fri, 12:15 - 13:45, 00.131-128 		WF INF-MA ab 1 Wild, P.  
 

Advanced Mechanized Reasoning in Coq [AMeRiCo(A)]

V/UE; 4 cred.h; ECTS: 7,5; Tue, 08:15 - 09:45, 01.151-128; Thu, 16:15 - 17: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.  
 

Formale Methoden der Softwareentwicklung [FMSoft(A)]

V/UE; 4 cred.h; ECTS: 7,5; Mon, 14:15 - 15:45, 01.255-128; Wed, 16:15 - 17: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(A)]

VORL; Präsenz; 2 cred.h; ECTS: 5; Anf; Thu, 10:15 - 11:45, H11 		PF INF-BA 3
PF I2F-BA 3
PF INF-BA 1
PF WINF-BA 3
WPF DS-BA 3 		Schröder, L.  
 

Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn(A)]

UE; Präsenz; 2 cred.h; Anf; Fri, 14:15 - 15:45, 01.150-128 		PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3
WPF DS-BA 3 		Goncharov, S.  
 

Kommunikation und Parallele Prozesse [KommPar(A)]

V/UE; Präsenz; 4 cred.h; ECTS: 7,5; Tue, 16:15 - 17:45, 02.133-113; Fri, 10:15 - 11:45, 02.133-113 		WF M-BA ab 3
WPF INF-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WF M-MA ab 1
WPF AI-MA ab 1 		Schröder, L.  
 

Seminar Homotopy Type Theory

SEM; Online/Präsenz; 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. 		 
 

Seminar Theoretische Informatik

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.  
 

Themen der Kategorientheorie

SEM; Präsenz; 2 cred.h; ECTS: 5; Wed, 10:15 - 11:45, 00.131-128 		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(A)]

UE; Präsenz; 2 cred.h; Anf 		WPF DS-BA 3
PF INF-BA 3
PF INF-BA 1
PF WINF-BA 3 		Goncharov, S.  
     Mon08:15 - 09:4502.134-113  N.N. 
     Mon10:15 - 11:4502.134-113  N.N. 
     Mon12:15 - 13:4502.134-113  N.N. 
     Mon12:15 - 13:4501.150-128  N.N. 
     Mon14:15 - 15:4502.134-113  N.N. 
     Tue08:15 - 09:4502.134-113  N.N. 
     Tue08:15 - 09:4501.150-128  N.N. 
     Wed10:15 - 11:450.031-113  N.N. 
     Wed12:15 - 13:4502.134-113  N.N. 
     Wed12:15 - 13:450.031-113  N.N. 
     Thu12:15 - 13:4501.150-128  Wild, P. 
     Thu12:15 - 13:4502.134-113  N.N. 
     Fri12:15 - 13:4501.150-128  N.N. 
     Fri12:15 - 13:4502.134-113  N.N. 


UnivIS is a product of Config eG, Buckenhof