Archive of Past Semesters

Winter term 2011/2012

• 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

Summer term 2011

• Lecture: Formal Methods for Information Security
• Distinguished Lectures Series (selected Thursdays, 16:15, S2|02, C110)
• Graduate Seminar: MAIS
• Lab: Proof-Carrying Code
• Seminar: Proof-Carrying Code
• Seminar: Current Topics in Usage Control
• Reading Group/Seminar: Runtime Monitoring

Winter term 2010/2011

• 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.

Summer term 2010

• 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

Winter term 2009/2010

• Foundations of Computing (canonic lecture with exercises, 3IV)
• Seminar: Formale Spezifikation
• Seminar: Statische und dynamische Programmanalyse
• Lab: Modellierungspraktikum
• Lab: Sichere Informationssysteme
• Graduate Seminar "MAIS"
• Graduate Seminar "Formale Methoden"
• Distinguished Lectures Series (selected thursdays, 16:15, S2-02-C110)
  Dates are: 29.10.2009, 10.12.2009 and 17.12.2009. For details about the speakers and the lecture topics, please visit the CASED DLS website.

Summer term 2009

• Graduate Seminar "Formale Methoden"
• CASED Kolloquium (Thursday, 16:15, S2-02-C110) -- cancelled
• Distinguished Lectures Series (Thursday, 16:15, S2-02-C110)

During the summer term, Prof. Dr. Mantel had a research semester. Therefore no lectures, tutorials, labs, or seminars took place.

Winter term 2008/2009

• Foundations of Computing (canonic lecture with exercises, 3IV)
• Seminar: Formale Spezifikation
  
• Lab:  Modellierungspraktikum
• Seminar: Analyse von Sicherheitsprotokollen
  
• Graduate Seminar "Formale Methoden"

Summer term 2008

• Lecture: Formal Methods for Information Security
• Graduate Seminar "Theoretical Computer Science / Formal Methods and Information Security"
• Lab: Proof Carrying Code
• Seminar: Proof Carrying Code
• Seminar (for Bachelor students): Formale Spezifikation und Analyse
  

Winter term 2007/2008

• Foundations of Computing (canonic lecture with exercises, 3IV)
• Graduate Seminar "Formale Methoden"
  
• Lab:  Modellierungspraktikum
• Seminar: Probabilistische Modelle
• Seminar: Formale Spezifikation
  

Summer term 2007

• Lecture: Formal Methods for Information Security
  
• Ringvorlesung "Langfristige IT-Sicherheit" (Cycle of Lectures "Long Term IT Security")
• Oberseminar "Theoretische Informatik / Formale Methoden und Informationssicherheit" (Graduate Class "Theoretical Computer Science / Formal Methods and Information Security")
• Seminar: Network Security

Winter term 2006/07

• Seminar: Quantitative Aspects of Security
• Seminar: Formal Methods for Information Security (Advanced Topics)

Summer term 2006

• Formal Methods for Information Security (Lecture)

Winter term 2005/06

• Seminar: Current Topics in Information Security
• Seminar: Network Security