• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »Teaching
  • »WS 21/22

WS 21/22

CourseTypeBachelor / MasterDocent
Concurrency TheoryLectureMKatoen/Noll
Theoretical Foundations of the UMLLectureMKatoen
Advanced Topics in Formal SemanticsSeminarB/MKatoen/Noll
Formal Verification Meets Machine LearningSeminarB/MKatoen/Noll
Foundations of Informatics Bridging CourseLecture–Noll
  • Thesis Projects
  • WS 2025/26
  • SS 2025
  • WS 2024/25
  • SS 24
  • WS 23/24
  • SS 23
  • WS 2022/23
  • SS 22
  • WS 21/22
    • Concurrency Theory
    • Theoretical Foundations of the UML
    • Advanced Topics in Formal Semantics (Seminar)
    • Formal Verification Meets Machine Learning (Seminar)
    • Foundations of Informatics Bridging Course
  • SS 21
  • WS 20/21
  • SS 20
  • WS 19/20
  • SS 19
  • WS 18/19
  • SS 18
  • WS 17/18
  • SS 17
  • WS 16/17
  • SS 16
  • WS 15/16
  • SS 15
  • WS 14/15
  • SS 14

Latest News

  • Two Papers at STTT

    June 5, 2025
    The two papers “What is the Best Algorithm for MDP Model Checking?” by Tim Quatmann and “The Revised Practitioner’s Guide to MDP Model Checking Algorithms” by Arnd Hartmanns (University of …
  • Two papers at CONCUR 2025

    May 27, 2025
    Two papers of the MOVES group have been accepted at CONCUR 2025, the 36th International Conference on Concurrency Theory. It concerns the papers “Compositional Reasoning for Parametric Probabilistic Automata” by …
  • Kevin Batz Receives ETAPS Dissertation Award

    May 13, 2025
    During the ETAPS 2025 Conference at Hamilton, Canada, Kevin Batz has received the prestigious Doctoral Dissertation Award of the ETAPS Association. His PhD dissertation thesis entitled “Automated Deductive Verification of …

Links

  • RWTH Aachen
  • Fachgruppe Informatik