Timetable in Winter Term 2016/17

Please note that this timetable is still liable to change.

	Mon	Tue	Wed	Thu	Fri
DS 1: 07.30-09.00
DS 2: 09.20-10.50	AA (t)	DS (t) LPE (t)	IFCA (t)	SC (l) MC (l/t)	MC (l/t)
DS 3: 11.10-12.40	DL (t)	LPE (t)	FLP (l)	SC (l) MC (l/t)	MC (l/t)
DS 4: 13.00-14.30	TIS (l) L (l)	TIS (t) ICCL Colloquium	FCP (l/t)	MCC (l) CL (l)	HR (t)
DS 5: 14.50-16.20	Open House TCS (t)	DPF (t) L (t) in APB 2026 ICCL Colloquium	HR (l)	DS (l) CL (t)	PPAB (s)
DS 6: 16.40-18.10	KRR (s)	DL (l)	IFCA (l)	DL (l)	FLP (t)**
DS 7: 18.30-20.00			German *	German *

Location: In general the classes are held in room APB E005. Only the classes written in bold are held in APB E023.

*German language course is offered by TUDIAS. Information about the registration will be given in the introductory week.
**FLP (t) is held every fortnight.

Abbreviations

Courses

AA		Seminar Abstract Argumentation [Gaggl]
CL		Science of CL [Hölldobler]
DS		Description Logic [Turhan]
IFCA		Introduction to Formal Concept Analysis [Rudolph]
HR		Human Reasoning and Computational Logic [Hölldobler]
KRR		Knowledge Representation and Reasoning [Hölldobler]
LM		Logical Modeling [Rudolph]
L		Logic [Hölldobler]
LPE		LP Engeneering [Klüppelholz]
FLP		Foundations of Logic Programming [Rudolph]
FCP		Foundations of Constraint Programming [Rudolph]
MC		Model Checking [Baier, Klüppelholz]
PPAB		Practical Plannings for Angry Birds [Rudolph]
TCS		Theretical Computer Science [Turhan]
DS		Distributed Systems [Schill]
MCC		Mobile Communication and Mobile Computation [Schill]
TIS		Transactional Information Systems [Lehner]
SC		Security & Cryptography I [Strufe]
DPF		Design Patterns and Frameworks [Assmann]
l, t, s		Lecture, tutorial and seminar, respectively

Other Events

Open House		Students and lecturers meet for open discussions
Projects		Students are invited to contact the supervisor of their project to arrange meetings