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.
