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.

Das Institut für Softwaretechnik und Programmiersprachen (ISP) der Universität Lübeck sucht zusammen mit der Accemic Technologies GmbH engagierte Studenten mit Erfahrung mit FPGAs und Programmierkenntnissen in Java (Eclipse) für das COEMS Projekt.

Subscribe to Front page feed