On Thursday, 08/12/2022, Prof. João Lourenço from the University of Lisbon, Portugal will be a guest at the Institute of Software Engineering and Programming Languages and will give a talk:

TITLE: Using Pot and LSD to improve ACID transactions (Abstract and Short Bio: see below)

Time: 16:15 h  -  Room: AM S3 - Audimax

Interested parties are cordially invited to attend this talk with the possibility of a discussion afterwards.

As part of the COEMS (Continuous Observation of Embedded Multicore Systems) Horizon 2020 project, funded from 2016-2020 and coordinated by ISP, the foundations of non-invasive observation of embedded systems were examined and first prototypes were developed that allow for continuous live-monitoring of safety-critical systems. More information  about the project can be found on https://www.coems.eu/ .

Die UniTransferKlinik Lübeck GmbH sucht für das Projekt Mittelstand-Digital Zentrum Schleswig-Holstein ab sofort eine/n Projektmitarbeiter/in Voll-/Teilzeit.

Nähere Infos: Siehe Stellenanzeige

From March, 6th – 10th, 2023 the 25th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS will be held at the University of Lübeck. The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems. FM 2023 will be a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.

After the University of Lübeck joined the „Kompetenzzentrum Erneuerbare Energien und Klimaschutz Schleswig-Holstein (EEK.SH)“, the Institute of Software Engineering and Programming Languages and the Institute of Multimedia and Interactive Systems will in the future contribute their expertise in the areas of Artificial Intelligence and Energy Management for transforming our energy system to the EEK.SH network.

Das ISP ist Teil eines Konsortiums aus Unternehmen und Hochschulen, das unter Nutzung der 5G-Technologie eine offene 5G-Infrastruktur sowie verschiedene innovative – auch portable - 5G-Komponenten entwickelt, mit deren Hilfe z. B. Noteinsatzkräfte im Katastrophenfall beim Eintreffen am Einsatzort schnell eine eigene, verlässliche Kommunikationsinfrastruktur aufbauen können, um sich möglichst umgehend ein Lagebild zu verschaffen. Denn gerade im Fall von Naturkatastrophen ist häufig die lokale Kommunikationsinfrastruktur zerstört.

The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for talented PhD students and PostDocs with a particular focus on Software Engineering in the context of several research projects. Click on the title for further details.

Funding from the state of Schleswig-Holstein of around € 600,000 from AI funding guideline enables research in interdisciplinary project. Shared use of available energy by the mobility sector and the power grid is one of the largest foreseeable additional loads for our energy grids. Understanding human behavior in relation to electric vehicle use is therefore a research approach that brings multiple perspective benefits: peak loads could be bypassed in the long term, and charging scheduling could be automatically improved.

The ISP is taking part in an interdisciplinary project to create a digital supply chain on the basis of biosensors detecting biogenic amines that result from the decomposition of proteines. These biosensors will be calibrated with AI methods and a blockchain will make the supply chain unsusceptible to manipulation. More details (in German) can be found in the press release of the University:

Workshop organized by the National Institute of Informatics, Japan (Ichiro Hasuo), the University of Oslo, Norway (Einar Broch Johnsen) and the University of Lübeck, Germany (Martin Leucker)


Subscribe to Front page feed