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		 
 
 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; 4 cred.h; ECTS: 7,5; Wed, 12:15 - 13:45, 01.150-128; Thu, 08:15 - 09:45, 01.150-128 		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
WF IIS-MA ab 7
WF WINF-BA ab 5 		Milius, S.
Litak, T. 		 
 

Foundations of Logic and Logic Programming [GLoIn]

VORL; 2 cred.h; ECTS: 2,5; Anf; Thu, 8:30 - 10:00, HH, (außer Thu 27.11.2014, Thu 29.1.2015); single appointment on 27.11.2014, single appointment on 29.1.2015, 8:30 - 10:00, HG 		PF INF-BA-S 3
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; 2 cred.h; Anf 		PF INF-BA-S 3
PF INF-BA 3
PF I2F-BA-S 3
PF WINF-BA 3 		Goncharov, S.  
     Fri14:15 - 15:4502.133-113  Goncharov, S. 
 starting 18.12.2014
 

Kryptologie und Protokollverifikation [Crypto]

V/UE; 4 cred.h; ECTS: 7,5; Wed, 10:15 - 11:45, 0.15; Thu, 10:15 - 11:45, EE 0.135 		WF M-BA ab 5
WPF INF-BA-V-THI ab 5
WPF INF-MA ab 7
WPF INF-BA-V-THI ab 5
WF M-MA ab 7
WF IIS-MA ab 7
WF WINF-BA ab 5 		Milius, S.  
 

Ontologien im Semantic Web [OntoSWeb]

VORL; 4 cred.h; ECTS: 7,5; Thu, 16:15 - 17:45, 01.255-128; Fri, 12:15 - 13:45, 01.255-128 		WF MT-BA-S ab 5
WF MT-BA ab 5
WF SIM-DH ab 5
WF Ph-BA ab 5
WF M-BA ab 3
WPF INF-MA ab 7
WPF INF-BA-V-THI ab 5
WF M-MA ab 7
WF Ph-MA ab 7
WF WINF-BA ab 5
WF IIS-MA ab 7
WF SIM-MA ab 7
WF MT-MA ab 7 		Schröder, L.  
 

Seminar Theoretische Informatik [ThInfSem]

OS; 2 cred.h; Tue, 14:00 - 16:00, 06; single appointment on 7.10.2014, single appointment on 14.10.2014, 14:00 - 16:00, 06; Am 7. und 14.10. im Raum 06,Tennenlohe, Wetterkreuz 13 		WF INF-BA 5-6
WF INF-BA-S 4-6
WF INF-MA ab 1 		Schröder, L.  
 

Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn]

UE; 2 cred.h; credit: 2,5; ECTS: 2,5; Anf 		PF INF-BA-S 3
PF INF-BA 3
PF I2F-BA-S 3
PF WINF-BA 3 		Goncharov, S.  
     Mon12:15 - 13:45R4.15  N.N. 
 starting 21.10.2014
     Mon14:15 - 15:4502.133-113  N.N. 
 starting 21.10.2014
     Tue8:15 - 9:4501.255-128  N.N. 
 starting 21.10.2014
     Tue10:15 - 11:4501.255-128  N.N. 
 starting 21.10.2014
     Tue14:15 - 15:4502.133-113  N.N. 
 starting 21.10.2014
     Fri10:15 - 11:4502.134-113  N.N. 
 starting 21.10.2014
     Fri12:15 - 13:45R4.11  N.N. 
 starting 21.10.2014


UnivIS is a product of Config eG, Buckenhof