Willkommen auf der Webseite der Abteilung Theorie korrekter Systeme, geleitet von Prof. Dr. Christoph Matheja. Unsere Webseite befindet sich noch im Aufbau.

• 24.09.2024: Das Papier „LogPPL: A Tool for Probabilistic Process Mining” von Martin Kuhn, Joscha Grüger, Christoph Matheja und Andrey Rivkin wurde bei der Konferenz ICPM angenommen.
• 10.09.2024: Das Papier „A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL” wurde bei der Konferenz AISoLA in der Kategorie „Verification and Learning for Assured Autonomy” angenommen.
• 09.09.2024: Wir haben eine offene Stelle für eine wissenschaftliche MitarbeiterIn, siehe https://uol.de/stellen.