Timetable in Summer Term 2011

	Monday	Tuesday	Wednesday	Thursday	Friday
DS 1: 07.30 - 09.00		MAV (p)
DS 2: 09.20 - 10.50	FL (t)*	MC (s)	FL (l)	AL (l)	AL (t)
DS 3: 11.10 - 12.40	WTA (l)	WTA (t)	SPAL (t) CBSE (l)	CTCS (t)	AL (l)
DS 4: 13.00 - 14.30	CTCS (l)	ICCL Colloquium	DS (l/t)	SA (l)	NLP (s)
DS 5: 14.50 - 16.20	MVL (l)	SPAL (l) CBSE (t)	DL (t) DOS (l)	PT (s) SA (t)	TCS (s)
DS 6: 16.40 - 18.10	KRR (s)	DL (l)	Open House DOS (t)*	DL (l)
DS 7: 18.30 - 20.00

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

AL	Advanced Logics [Baier]
CBSE	Component-based Software Engineering [Assmann] (INF/E023)
CTCS	Category Theory for Computer Science [Posegga]
DL	Description Logic [Turhan]
DOS	Distributed Operating Systems [Härtig] (lectures in INF/E008, tutorials in INF/E009)
DS	Deduction Systems [Bruscoli]
FL	Fuzzy Logic [Penaloza]
ICCL	Weekly colloquium of the CL and ICCL groups [CL professors]
KRR	Knowledge Representation and Reasoning [Hölldobler]
MAV	Lab Course Modelling and Automated Verification [Baier]
MC	Selected Topics on Model Checking [Baier]
MVL	Many-Valued Logics [Fronhöfer]
NLP	Natural Language Processing [Vogler]
PT	Selected Topics in Proof Theory [Bruscoli]
SA	Semantic Search: Algorithms and Applications [Schroeder] (tutorials in INF/E046)
SPAL	Structural Proof Theory and Abstract Logic Programming [Bruscoli]
TCS	Theoretical Computer Science [Penaloza]
WTA	Advanced Topics in Weighted Tree Automata [Vogler]

(l\|t\|s\|p)	Lecture, tutorial, seminar, and practical class, respectively
Open House	Students and lecturers meet for open discussions

Last update: Thu, 29 Sep 2011 09:23:45