Summer School Marktoberdorf 2019: Apply now!
Course on Safety and Security of Software Systems
For the 40th time the small pre-alpine Bavarian town Markoberdorf will host the TUM's International Summer School. From July 31 to August 9 the Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Helmut Seidl) invites young computer scientists and mathematicians to work on formal approaches to correctness and security of software systems. The course is mainly addressed to PhD students, but is also open for excellent students in the final year of their master course or graduated students shortly after finishing their PhD. The summer school will introduce the participants to the latest development in the verification of privacy and cryptography, static program analysis for security and cyber-physical systems, model checking and logical foundations. Application Deadline is April 7, 2019.
You can find the application form here