Current news

Lecture "Formal Modeling and Analysis of Legal Contracts using ContractCheck" accepted for ProLaLa 2023

A lecture entitled "Formal Modeling and Analysis of Legal Contracts using ContractCheck", authored by Alan Khoja, Martin Kölbl, Stefan Leue and Rüdiger Wilhelmi, has been accepted for presentation at the Workshop on Programming Languages and the Law 2023 (ProLaLa 2023), affiliated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), to be held on Sunday, January 15th, 2023 in Boston, USA.

Read more



Research Stay at Vienna University of Technology

Stefan Leue is spending a research stay at the Institute of Computer Engineering of the Vienna University of Technology in the Cyber-Physical Systems group of Radu Grosu in November / December 2022.

Paper "Automated Repair for Timed Systems" accepted

We are glad to annouce that the paper entitled "Automated Repair for Timed Systems", authored by Martin Kölbl, Stefan Leue and Thomas Wies, has been accepted for publication in the journal Formal Methods in System Design.

Paper Accepted for ISOLA 2021

The paper "An Algorithm to Compute a Strict PartialOrdering of Actions in Action Traces", authored by Martin Kölbl and Stefan Leue (University of Konstanz) has been accepted for the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), to be held in Rhodes, Greece, in October 2021.