Winter Term 2011/2012

In the winter term 2011/2012 we offer the following courses:

• Lecture: Foundations of Computing (canonic lecture with exercises, 3IV)
• Lecture: Static and Dynamic Program Analysis
• Distinguished Lectures Series (selected Thursdays, 16:15, S2|02, C110)
• Graduate Seminar "MAIS"
• Lab: Modeling Lab
• Seminar: Formal Specification
• Seminar: Current Topics in Information Flow Control
• Reading Group/Seminar: Runtime Monitoring