Winter Term 2010/11

In the winter term of 2010/11 we have offered the following courses:

• Lecture: Foundations of Computing (canonic lecture with exercises, 3IV)
• Distinguished Lectures Series (selected Thursdays, 16:15, S2|02, C110)
• Lab: Modellierungspraktikum
• Seminar: Formale Spezifikation
• Seminar: Reliable Security for Concurrent Programs
• Graduate Seminar "MAIS"

The integrated course Static and Dynamic Program Analysis has been moved to the next winter term.