Lectures Winter Term 2006/07

Model Checking

Lecture

Monday 4.DS
Thursday 3.DS

Tutorial

Friday 2.DS

All classes take place in E09.

Interactive Theorem Proving

(Dr. Posegga)

Lecture

Tuesday 4.DS
Thursday 5.DS

Tutorial

Montag 5.DS

All classes take place in E05.

LP Engineering

(Dr.Nauber)

Practical Class

Wednesday 1.DS

E040