Lectures and other courses in summer term 2010

Advanced Logics

Lecture, Prof. Dr. Baier

SWS: 4/2/0

Model Checking II

Lecture, Dr. Groesser

SWS: 2/0/0

Symbolic and Compositional Verification

Seminar, Prof. Dr. Baier, Dr. Groesser

SWS: 0/2/0

Design and Analysis with Petri Nets

Lecture, Dr. Walter Nauber

SWS: 2/0/2
The lecture will be held in german but lecture notes and exercises will be also available in english

Semantics of Dependent Type Theory

Lecture, Dr. habil. Michael Posegga

SWS: 2/2/0

Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: -/-/4

Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4

Für Wirtschaftsinformatiker und Informatik-Lehramt

Einführung in die Theoretische Informatik

Lecture, Dr. habil. Michael Posegga

SWS: 3/1/0