Winter Term 2010/2011

In the winter term 2010/11 we offer the following courses:

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

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