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

Read more

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.

Read more

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.

Read more

We Plan to Grow! Exciting Opportunities Ahead in Hybrid Artificial Intelligence

Wednesday, June 5, 2024 - 08:53

The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is thrilled to announce an upcoming expansion in our research endeavors. Under the leadership of Dr. Gesina Schwalbe, we are planning to form a young researcher's group on Correctable Hybrid Artificial Intelligence.

Read more

ISP News Archive

Subscribe to Front page feed

Overview

Professors
Prof. Dr. Martin Leucker (director)
Prof. Dr. Diedrich Wolter

 

Address
Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck

Contact
E-Mail:  office [at] isp.uni-luebeck.de
Phone:  +49 451 3101-6501