Log in to access "My University" and the password-protected areas. "My University" is your personal, protected area on the website. Once you are logged in, you can subscribe to individual websites and news channels in this area.
CREST 2019, 6 - 11 April, Prague, Czech Republic
Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018
Dirk Beyer, LMU Munich: Cooperative Software Verification
Dragan Bosnacki, Eindhoven University of Technology, The Netherlands:
Analysis of a Boolean Model for Rheumatoid Arthritis Using SMT Solvers
We are constantly looking for students interested in bachelor or master projects in our group as well as positions as research assistants (HiWis). You can find a list of some possible topics for such projects on our Student Information Page.
Room PZ 902
Phone +49 (0)7531 882893
Fax +49 (0)7533 9492189
Appointment via email
Martina Thibaut M.A.
Room PZ 903
Phone +49 (0)7531 884631