Winter Term 2009/2010

In the winter term 2009/10 we offer the following courses:

• Foundations of Computing (canonic lecture with exercises, 3IV)
• Seminar: Formale Spezifikation
• Seminar: Statische und dynamische Programmanalyse
• Lab: Modellierungspraktikum
• Lab: Sichere Informationssysteme
• Graduate Seminar "MAIS"
• Graduate Seminar "Formale Methoden"
• Distinguished Lectures Series (selected thursdays, 16:15, S2-02-C110)
  Dates are: 29.10.2009, 10.12.2009 and 17.12.2009. For details about the speakers and the lecture topics, please visit the CASED DLS website.