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.
24th International Symposium on Model Checking of Software
Beijing, China, July 15-19, 2019
NII Shonan Meeting:
@ Shonan Village Center in Tokyo, Japan, June 24-27, 2019
CREST 2019, 6 - 11 April, Prague, Czech Republic
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