Courses in Winter Term 2008/09

Course Title	Lecturer	SWS l/t/s	Credits	Modules	Exam	Status
Computational Logic	Prof. Thielscher	0/0/2	0	none	none	none
Computational Logic Consultation Studienberatung Computational Logic	Prof. Hölldobler	0/0/2	0	none	none	none
Design and Analysis with Petri-Nets	Dr. Nauber	2/0/1	4	SV	oral	advanced
Foundations of Constraint Programming	Prof. Thielscher	1/1/1	4	LCP	written	foundation
Foundations of Logic Programming	Prof. Thielscher	2/1/0	5	LCP	written	foundation
General Game Playing	Prof. Thielscher	1/1/2	6	KRAI	oral	advanced
ICCL-Colloquium	ICCL professors	0/0/2	0	none	none	none
Interactive Theorem Proving	Dr. Posegga	4/1/1	9	IT, KRAI, SV	written	advanced
Knowledge Representation and Reasoning	Prof. Hölldobler	0/0/2	0	none	none	none
Logic	Prof. Hölldobler	2/2/0	6	F	written	foundation
LP Engineering	Dr. Nauber	0/0/2	3	LCP	written/project	foundation
Project Group Model Checking	Prof. Baier	0/0/4	6	IT, SV	project	advanced
Science of CL	Prof. Hölldobler	2/2/0	6	F	written	foundation
Syntax Directed Semantics	Prof. Vogler	4/2/0	10	SDS	oral	advanced
Term Rewriting Systems	Prof. Baader	4/2/0	10	TCSL	oral, exercise	advanced
Theoretical Computer Science	Prof. Baader	0/0/2	3	IT, TCSL	talk	advanced
XML and Semi-structured Data	Prof. Vogler	0/0/2	3	SDS	essay, talk	advanced

Last update: Thu, 9 Oct 2008 11:33:51