Timetable in Summer Term 2009

	Monday	Tuesday	Wednesday	Thursday	Friday
DS 1: 07.30 - 09.00			PGMC (p) / AST (s)	FAP (t)
DS 2: 09.20 - 10.50	ILP (l)* / SAT (l/t)	AIGP (s)	ILP (l) / SAT (s)	AL (l)	ILS (t)*
DS 3: 11.10 - 12.40	SDS (l)	SDS (l)	TPE (l)	SDS (t)	AL (l)
DS 4: 13.00 - 14.30	FAP (l)	ICCL Colloquium	ILS/FAP (l)*	ILS (l) NLP (s)	ILP/FAP (t)* TCS (s)
DS 5: 14.50 - 16.20	XML (l)	KRR (s) CL (s)	Open House Projects	ILS (l/t)	TPE/XML (t)*
DS 6: 16.40 - 18.10	AL (t)	DL (l)	DL (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.

AIGP	AI Game Playing [Thielscher]
AL	Advanced Logics [Baier]
AST	Applications of Satifiability Testing [Hölldobler] (INF 2008)
CL	Computational Logic [Thielscher] (INF 2026)
DL	Description Logic [Baader]
FAP	Foundations of Agent Programming [Thielscher]
ICCL	Weekly colloquium of the CL and ICCL groups [CL professors]
ILP	Inductive Logic Programming [Zaverucha]
ILS	Integrated Logic Systems [Schroeder, Thielscher]
KRR	Knowledge Representation and Reasoning [Hölldobler]
NLP	Natural Language Processing [Vogler] (INF 3027)
PGMC	Project Group Model Checking [Baier]
SAT	Satisfiability Problems or How to Solve Sudoku Puzzles [Hölldobler]
SDS	Syntax Directed Semantics [Vogler]
TCS	Theoretical Computer Science [Baader]
TPE	Theorem Proving and Equality [Morawska]
XML	XML and Programming Languages [Voigtländer]

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

Last update: Wed, 20 May 2009 15:41:48