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.
Aufgrund der Corona/Covid-19-Pandemie versuchen auch wir am ISP alles, um aktuell die sozialen Kontakte zu reduzieren.
Das Institutsgebäude ist physisch geschlossen, die Büros, insbesondere das Sekretariat, sind nicht besetzt. Dennoch geht der Betrieb, soweit möglich, weiter. Die Mitarbeiter befinden sich im Home Office und sind insbesondere per Email zu erreichen. Meetings werden ausschließlich in elektronischer Form, z.B. per WebEx abgehalten.
Für das Projekt ReNuBiL konnten Prof. Thomas Franke vom IMIS und Prof. Martin Leucker, Institutsdirektor des ISP am 10. Februar einen Förderbescheid über
800 000,- Euro entgegennehmen. Wirtschaftsminister Bernd Buchholz (FDP) betonte den innovativen Ansatz und den "riesigen Beitrag", den dieses Verfahren in naher Zukunft für die Energiewende leisten kann.
University of Trieste and ISP are organizing a workshop on spatio-temporal reasoning for CPS co-located with CDC'19 (see strcc.isp.uni-luebeck.de). This workshop aims to present the most recent advances in the development of logic-based procedures for the analysis and control of spatially distributed Cyber Physical Systems (CPS), with particular emphasis on the combination of temporal and spatial behaviors.
We are happy to announce that ISP graduate Anton Pirogov was awarded this year's FTI prize for the best graduation thesis in computer science. This annual award is given by the German Computer Science Faculty Union (Fakultätentag Informatik) and accompanied with a prize of 2500€. More details (in German) can be found in the press release of the university.
Am 24.11.2016 hat die Lübecker Bürgerschaft einstimmig beschlossen, die Pilotphase aus dem vom ISP erstellten Konzept für die Ausstattung der allgemeinbildenden Schulen mit IT-Infrastruktur umzusetzen und ist damit dem Antrag des Schul- und Sportausschusses gefolgt.
The Institute for Software Engineering and Programming Languages (ISP) of the University of Lübeck has successfully completed the technology transfer project cMALEESS (Cloud-based Monitoring and Analysis for Lithium-Ion Electrical Energy Storage Systems). This technology transfer project was supported by the EU commission within the framework of the Coordination Action TETRACOM.
From the 23rd to the 25th of September, the first summer school on runtime verification will take place. The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid, Spain. More information can be found here.
