Lectures and other courses in winter term 2009/10

Grundlagen der Theoretischen Informatik II

Lecture, Prof. Dr. Baier

SWS: 2/1/0

Model Checking

Lecture, Prof. Dr. Baier

SWS: 4/2/0

Selected topics in logic and complexity

Seminar, Prof. Dr. Baier, Dr. Groesser

SWS: 0/2/0

Logic Programming Engineering

Practical Course, Dr. Walter Nauber

SWS: 0/0/2

Prolog-Programmierung

Lecture and Practical Course, Dr. Walter Nauber

SWS: 1/0/1

Interactive Theorem Proving

Lecture, Dr. habil. Michael Posegga

SWS: 4/1/1

Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: -/-/4

Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4