Winter Term 2013/14

In the winter term of 2013/14 we have offered the following courses:

• Lecture: Foundations of Computing (canonic lecture with exercises, 3IV)
• Lab: Modeling Lab
• Seminar: Formal Specification
• Seminar: Current Topics on Multicore Semantics
• Practical Lab in Teaching - Einführung in Foundations of Computing
• Graduate Seminar "MAIS"