Our institute focuses on the development of reliable, secure, and efficient software systems through advanced research and comprehensive education.
The Institute for Software Engineering and Programming Languages (ISP) is part of the University of Lübeck. We focus on research and teaching in software engineering, programming languages, and related fields.
Phone
+49 451 3101-6501Address
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Feel free to contact us for any inquiries about our research, teaching, or collaboration opportunities.
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. FAC is a Gold Open Access journal that […]
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 […]
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 […]
