| ISP - Institute for Software Engineering and Programming Languages

Karam Kharraz Successfully Defends PhD Thesis at ISP

Thursday, April 30, 2026 - 17:09

The Institute for Software Engineering and Programming Languages (ISP) at the University of Lübeck congratulates Karam Kharraz on the successful defense of his PhD thesis titled “Formal Modeling and Analysis of Metric-Timed and Multi-Agent Normative Specifications of Actions.”

Visiting Researcher Violet Ka I Pun Concludes Successful Stay at ISP

Thursday, April 30, 2026 - 16:57

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.

Workshop on Verification & Validation & Runtime Analysis

Tuesday, April 14, 2026 - 09:41

Verification & Validation & Runtime Analysis around the Hardware/Software Boundary
Intensive discussions bridging formal methods, runtime verification, and HW/SW co-design

15 November 2026
Bariloche (Patagonia, Argentina)
1-day workshop
8–20 participants
Light review process

Details can be found here.

Workshop on Reliable Systems Engineering

Sunday, April 12, 2026 - 17:02

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

Project Visit to the Hanse Innovation Campus Lübeck: ISP Shapes the Demonstrators of Tomorrow’s Production

Thursday, February 5, 2026 - 17:24

On January 29, the project sponsor of the “Hansebelt Innovation Matrix Lübeck” initiative and representatives of the Schleswig-Holstein state ministry visited the Hanse Innovation Campus Lübeck to gain an on-site overview of the project’s current status. Together with Dr. Bernd Roß, Maurice Selke (Ministry for General and Vocational Education, Science, Research and Culture of the State of Schleswig-Holstein), and Christina Hilgers (VDI Technologiezentrum GmbH), the project management of the interdisciplinary consortium discussed progress, challenges, and achievements from the past year.

Dagstuhl Seminar on Digital Twins for Cyber-Physical Systems Approved

Saturday, October 11, 2025 - 13:34

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.

Let’s Talk AI: Interdisciplinarity is a Must

Sunday, May 4, 2025 - 13:28

Available soon as LNCS 15000

Let’s Talk AI: Interdisciplinarity is a Must
2024-isola.isola-conference.org

Hannes Kallwies' PhD Thesis Nominated for Software Engineering Dissertation Award

Tuesday, March 4, 2025 - 10:01

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.

Call for Nominations: Editor-In-Chief Position - Formal Aspects of Computing

Monday, March 3, 2025 - 09:58

The term of the current Editor-in-Chief (EiC) of the journal Formal Aspects of Computing (FAC), published by ACM in collaboration with BCS, The Chartered Institute for IT, is coming to an end, and the ACM Publications Board and BCS have set up a nominating committee to assist in selecting the next EiC.

The deadline for submitting nominations is April 30, 2025.

PhD position - Model Learning and Formal Methods (all genders) - in Austria

Thursday, May 1, 2025 - 23:45

The goal of this PhD is to further the potential of model-based formal verification of black-box systems by combining model-learning techniques with formal methods. This tight integration of formal methods into the learning process will help in producing high-quality models automatically, and steering the learning process towards areas that are of interest and/or lacking precision during the learning process. Further details can be found here.