Vorlesungen im WS 2006/07

Model Checking

Vorlesung

Montag 4.DS
Donnerstag 3.DS

Übung

Freitag 2.DS

Alle Veranstaltungen finden in E09 statt.

Interactive Theorem Proving

(Dr. Posegga)

Veranstaltung findet auf Englisch statt!

Vorlesung

Dienstag 4.DS
Donnerstag 5.DS

Übung

Montag 5.DS

Alle Veranstaltungen finden in E05 statt.

LP Engineering

(Dr. Nauber)

Veranstaltung findet auf Englisch statt!

Praktikum

Mittwoch 1.DS

E040