Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking SS 2008

  Neuigkeiten | Termine | Inhalt | Übungen | Folien | Links

15. Juli 2008:

Zur Erinnerung: Die Vorlesung entfällt am 16. und 17. Juli.

18. Juni 2008:

Wie auf der Mailingliste angekündigt findet die Vorlesung ab jetzt in 03.11.058 statt.

29. April 2008:

Zur Erinnerung: Die Vorlesung entfällt morgen vormittag, da zur selben Zeit eine Fachschafts-Vollversammlung stattfindet. Die nächste Vorlesung ist am 7. Mai.

Mailingliste eingerichtet:

Anmeldung

10. April 2008:

Die Vorlesung findet erstmals am Mittwoch, 16. April 2008 statt.