Wednesday, July 18, 2018 - 12:21

The ISP offers a seminar in the field of formal methods next semester (WS 2012/13).

The seminar addresses logic, model- and query checking techniques as tools for the formal specification and analysis of state-based models, e.g. of soft- and hardware systems or business processes.

You can find further information on the seminar web page.

Wednesday, July 18, 2018 - 12:21

Within a software engineering project, ten students of the University of Lübeck develop a booking system for the barque Passat.

Wednesday, July 18, 2018 - 12:21

Martin Leucker has given an invited tutorial on Runtime Verification and Runtime Reflection at the first european conference of the prognostics and health management society (PHM'12) in Dresden, Germany. Further information on the tutorials can be obtained at PHM's tutorial page.

Wednesday, July 18, 2018 - 12:21

Für das Bachelorprojekt im Sommersemester 2012 führen wir nochmals eine Vorbesprechung durch. Alle interessierten Studierenden sind herzlich dazu eingeladen.

Datum:Dienstag, 10. April 2012
Uhrzeit:12.00 Uhr
Raum:ISP Besprechungsraum 108
Wednesday, July 18, 2018 - 12:21

The ISP just acquired funding for maintaining its cooperation with the Université de Paris 7 (Diderot) and the LSV at the ENS Cachan. The grant provided by the DAAD supports our project LeMon in 2012 and 2013. The scope of Lemon is on learning monitors for reengineering applications.


Subscribe to Front page feed