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.