Timetable in Winter Term 2004/05

	Monday	Tuesday	Wednesday	Thursday	Friday
DS 1: 07.30 - 09.00			LPE (p)
DS 2: 09.20 - 10.50	SCL( (l)	FLP (l)	SCL (l)	ITP (l)	CT (l/t)
DS 3: 11.10 - 12.40	SDS (l)	SDS (l)	AL (t)	FMC (l)
DS 4: 13.00 - 14.30	SCL (t)	GK FLP (t)	CA (l)	SDS (t)	ITP (t) FP
DS 5: 14.50 - 16.20	ITP (l/t)	GK SV (s)	CL & KRR CAA (l)	FLP (l)
DS 6: 16.40 - 18.10	FMC (t)	AL (l)	Open House Projects	AL (l)	OSLP *
DS 7: 18.30 - 20.00		SCL (t)	RA II (s)		OSLP *

Location: Except stated otherwise, all classes are held in GRU 350

Remarks:

In CT (l/t), two extra lectures are held on 7 and 14 Jan. in DS 3
OSLP * is held from 4 pm to 7.20 pm at the following dates:
22 Oct 2004, 5 Nov 2004, 12 Nov 2004, 10 Dec 2004, 17 Dec 2004 (only from 4pm to 5.30pm), 7 Jan 2005, 21 Jan 2005, and 4 Feb 2005
CL & KRR is held in GRU 150
LPE is held in GRU 150

Abbreviations:

AL	Automata and Logic [Baader]
CA	Computer Algebra [Pech]
CAA	Combinatorics and Analysis of Algorithms [Vogler]
CL & KRR	Weekly colloquium of the CL and KRR groups [Hölldobler, Thielscher]
CT	Complexity Theory [Guglielmi]
FLP	Foundation of Logic Programming [Thielscher]
FMC	Formal Models of Concurrency [Reichel]
FP	Weekly colloquium of the Foundations of Programming group [Vogler, Kühnemann] (open to CL students)
ITP I & II	Interactive Theorem Proving I & II [Posegga]
L	Logic [Hölldobler] (Lectures and tutorials already finished)
LPE	LP Engineering [Reichel, Nauber]
RA II	Reasoning Agents II [Thielscher, Yi Jin]
SCL	Science of Computational Logic [Hölldobler]
SDS	Syntax Directed Semantics [Vogler]
SV	Specification and Verification [Reichel]
OSLP	Operator-based semantics for logic programs [Hitzler, Univ Karlsruhe]
PPC	Provable Program Correctness [Stefanus, University of Indonesia]
IUF	Introduction to Uncertainty Frameworks [Wheeler, UNL, Portugal]

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

Last update: Wed, 21 Mar 2012 14:33:45