Courses in Winter Term 2007/08

Course Title	Lecturer	SWS l/t/s	Credits	Modules	Exam	Status
Automata and Logic	Dr. Lutz	4/2/0	10	IT, TCSL	written	advanced
reading group Boolean Satisfiability Testing	Prof. Hölldobler	0/0/2	3	IT	none	advanced
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
Decision Procedures (CANCELED)	Dr. Zarba	3/1/0	2	IT, TCSL	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
Introduction to Deep Inference and Proof Nets	Dr. Bruscoli, Dr. Strassburger	1/0/0	1	IT	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
Model Checking	Prof. Baier	4/2/0	9	IT, SV	written	advanced
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
Theoretical Computer Science	Dr. Morawska	0/0/2	3	IT, TCSL	talk	advanced
XML and Semi Structured Data	Prof. Vogler	0/0/2	3	SDS		advanced

Last update: Thu, 10 Apr 2008 11:05:17