Past editions

• 2025/26
  • Formal Methods in Software Engineering
  • Information Systems by Calculation
  • Cyber-Physical Programming
  • Formal Verification
  • Formal Methods Project
• 2024/25
  • Formal Methods in Software Engineering
  • Information Systems by Calculation
  • Cyber-Physical Programming
  • Formal Verification
• 2023/24
  • Formal Methods in Software Engineering
  • Information Systems by Calculation
  • Cyber-Physical Programming
  • Formal Verification
• 2022/23
  • Formal Methods in Software Engineering
  • Information Systems by Calculation
  • Cyber-Physical Programming
  • Formal Verification
• 2021/22
  • Formal Methods in Software Engineering
  • Information Systems by Calculation
  • Cyber-Physical Programming
  • Formal Verification
• 2020/21
  • Information Systems by Calculation
  • Specification and Modeling
  • Formal Verification
  • Architecture and Calculus
  • Software Analysis and Testing
• 2007/08-2019/20