News

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.

The paper "symQV: Automated Symbolic Verification of Quantum Programs", authored by Fabian Bauer-Marquart, Stefan Leue and Christian Schilling (Aalborg) has been accepted for presentation and publication at the 25th Symposium on Formal Methods, FM 2023, in Lübeck, Germany.

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.

After submitting his PhD thesis, Martin Kölbl has left the Chair and has joined CertiK, where he is applying formal methods to the verification of smart contracts.

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.

We are continuing an evaluation project with Ansys Germany GmbH in which Ansys is assessing our causality checking technology and the QuantUM toolset.

Stefan Leue will be spending a two-week research stay in September / October 2022 at New York University, working with Thomas Wies.

We welcome Raffael Senn and David Boetius as new members of the Chair for Software and Systems Engineering.

Extended closing date for applications: 15 May 2022