Timetable in Winter Term 2011/12

	Monday	Tuesday	Wednesday	Thursday	Friday
DS 1: 07.30 - 09.00		FLP (t)* FDL (t)*	FLP (l)	STLC (s) MAV (p)	IAS (t)*
DS 2: 09.20 - 10.50	L/SCL (l)*	L/SCL (t)	NSI(l) SE2(l)	SAT (l)* SC (l)	L/SCL (t)
DS 3: 11.10 - 12.40	WTA (l)	ITP (t) TIS (l)	ITP (l) DPF (t)	FCP (l/t) SC (t)	SAT (t) SE1 (t)
DS 4: 13.00 - 14.30	IAS (l) SE1 (l)	ICCL Colloquium	L/SCL (l)	FDL (l) MCC (l)	NLP (s)
DS 5: 14.50 - 16.20	NSI (t) SE2 (t)	ITP (l) DPF (l)	TRS (t)	LPE (t) DS (l)	TCS (s)
DS 6: 16.40 - 18.10	KRR (s) TIS (l/t)	TRS (l)	Open House Projects	TRS (l)
DS 7: 18.30 - 20.00			German*

Location: In general the classes are held in INF E005. Only the classes written in italics are held as indicated in the Abbreviations.

FDL (t) is held every fortnight.
FLP (t) is held every fortnight.
German language course entry test on Wednesday, October 12 at 6.30pm in the lecture hall Audimax at the 'Hörsaalzentrum' in Bergstraße 64.
IAS (t) is held every fortnight.
L/SCL (l) will start on October 12 because of the initial meeting on October 10.
SAT (l) will start on October 20.

DPF	Design Patterns and Frameworks [Assmann] (INF/E023)
DS	Distributed Systems [Schill] (INF/E023)
FCP	Foundations of Constraint Programming [Bruscoli]
FDL	Fuzzy Description Logic [Peñaloza]
FLP	Foundations of Logic Programming [Bruscoli]
IAS	Introduction to Automatic Structures [Turhan]
ICCL	ICCL Colloquium [ICCL professors]
ITP	Interactive Theorem Proving [Posegga]
KRR	Knowledge Representation and Reasoning [Hölldobler]
L	Logic [Hölldobler]
LPE	LP Engineering [Bruscoli] (INF E069)
MAV	Lab Course Modeling and Automated Verification [Baier]
MCC	Mobile Communication/Computing [Schill] (INF/E023)
NLP	Natural Language Processing [Vogler]
NSI	Neural Symbolic Integration [Hölldobler]
SAT	SAT-Solving [Hölldobler]
SC	Security & Cryptography I [Köpsell] (INF/E023)
SCL	Science of Computational Logic [Hölldobler]
SE1	Systems Engineering 1 [Fetzer] (INF/E023)
SE2	Systems Engineering 2 [Fetzer] (INF/E023)
STLC	Selected Topics in Logic and Complexity [Baier]
TCS	Theoretical Computer Science [Baader]
TIS	Transactional Information Systems [Lehner] (Mon INF/E001, Tue SE2/0103)
TRS	Term Rewriting Systems [Baader]
WTA	Weighted Tree Automata [Vogler]

(l\|t\|s\|p)	Lecture, tutorial, seminar, and practical class, respectively
Project	Students are invited to contact the supervisor of their project to arrange meetings
Open House	Students and lecturers meet for open discussions

See the course assignments to the modules in an overview.

For questions concerning exams etc., please consult the web pages of the Service Center for International Students (SCIS)

Last update: Mon, 10 Oct 2011 11:15:38