Winter Term 2012/2013

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

• Lecture: Foundations of Computing (canonic lecture with exercises, 3IV)
• Lecture: Static and Dynamic Program Analysis
• Graduate Seminar "MAIS"
• Lab: Modeling Lab
• Seminar: Formal Specification
• Seminar: Current Topics in Information Flow Control