Notice: Undefined offset: 0 in /home/web/Documents/OrgNew/includes/header.inc.php on line 22
ICCL

About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

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