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.

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
Subscribe to RSS - Teaching