Summer Term 2010

In the summer term 2010 we offer the following courses:

• Lecture: Formal Methods for Information Security
• Distinguished Lectures Series (selected Thursdays, 16:15, S2|02, C110)
• Graduate Seminar "Formale Methoden"
• Graduate Seminar "MAIS"
• Lab: Proof-Carrying Code
• Seminar: Proof-Carrying Code
• Conference Seminar: Formal Methods for Security Engineering