After a highly productive three-month visit, Violet Ka I Pun from Bergen has completed her research stay at the Institute for Software Engineering and Programming Languages (ISP) at the University of Lübeck.

On Wednesday, 29th of April, we host a short workshop on reliable systems engineering, 3 OG@ISP. We will have three presentations:

Title: The Technology-Assurances Sandbox Experience
Date: 29th April 2026
Time: 9:00 – 10:00 AM
Venue: ISP, 3 OG, MFC-1

We’re pleased to announce that the proposal "Digital Twins for Cyber-Physical Systems" (Proposal No. 202506002) has been fully accepted as a large, five-day Dagstuhl Seminar. Bringing together around 40 leading experts, the event will explore cutting-edge research and collaboration opportunities at the intersection of digital twin technology and cyber-physical systems.

The seminar will take place January 10–15, 2027 at Schloss Dagstuhl – Leibniz Center for Informatics in Germany, offering a unique platform to shape the future of this rapidly evolving field.

We are pleased to announce that Hannes Kallwies' PhD thesis, "Synchronous Stream Runtime Verification with Uncertainties and Assumptions," has been nominated for the Software Engineering Dissertation Award.

The nomination was presented at the "Fachtagung Software Engineering 2025" (SE 2025) held in Karlsruhe from February 24-28, 2025. As one of three finalists, Kallwies presented his work to the jury and attendees on February 27, 2025, showcasing the significance of his research in the field of runtime verification.