Lectures Summer Term 2007

Advanced Logics

Lectures

Thursday 2.DS
Friday 3.DS

Tutorial

Monday 6.DS

All classes take place in E05.

Grundlagen der theoretischen Informatik

Lecture

Monday 3.DS
HSZ/E002

Project Group Model Checking

Practical Class

Monday 5.DS
Wednesday 1.DS