Das „Kompetenzzentrum Mittelstand 4.0.“ wird im Rahmen der Digitalinitiative des Bundeswirtschaftsministeriums für den Mittelstand für zunächst drei Jahre mit vier Millionen Euro gefördert. Konsortialpartner sind die Christian Albrechts Universität Kiel, das Forschungs- und Entwicklungszentrum der FH Kiel, das KIN Lebensmittelinstitut aus Neumünster sowie aus Lübeck die TU, die UniTransferKlinik und die Universität, hier das ISP.
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.
The Spring School on Engineering Trustworthy Software Systems will take place at Southwest University in Chongqing, China from the 28th of March the the 3rd of April this year. More information can be found on their page.
Der Kompetenzverbund Software Systems Engineering (KoSSE) bringt IT-Unternehmen und Forscher der Kieler und der Lübecker Universität in Projekten zusammen. Ein Artikel über die Arbeit und Ziele des KoSSE wurde kürzlich auf der IHK-Webseite veröffentlicht.
