• 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 22/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

  • Paper in Journal of the ACM

    July 26, 2022
    The paper entitled “Generative Datalog with Continuous Distributions” by Martin Grohe, Benjamin Kaminski, Joost-Pieter Katoen and Peter Lindner has been accepted in Journal of the ACM. The paper defines a …
  • Paper at OOPSLA 2022

    July 1, 2022
    The paper entitled “Reasoning about Distributed Reconfigurable Systems” by Emma Ahrens (RWTH), Marius Bozga (Grenoble), Radu Iosif (Grenoble) and Joost-Pieter Katoen has been accepted for presentation at the ACM Conference …
  • Paper at CONCUR 2022

    June 26, 2022
    The paper entitled “Towards Concurrent Quantitative Separation Logic” by Ira Fesefeldt, Joost-Pieter Katoen and Thomas Noll has been accepted at the 33rd International Conference on Concurrency Theory (CONCUR), to be …

Links

  • RWTH Aachen
  • Fachgruppe Informatik