Our next edition of the *International Summer School Marktoberdorf 2013* on *Software Systems Safety* is ready for application from now and by *March 11, 2013* at the latest. *Lecturers* are Patrice Godefroid (USA), Orna Grumberg (IL), Sumit Gulwani (USA), Gerwin Klein (AUS), Marta Kwiatkowska (UK), Ralf Küsters (D), Rupak Majumdar (D), Sharad Malik (USA), Tobias Nipkow (D), David Sands (S), Helmut Seidl (D), Eran Yahav (IL) The "Marktoberdorf Summer School" is a two weeks' course for young computer scientists and mathematicians working in the field of formal software and systems development. Our challenge is to give in-depth presentations of state-of-the-art topics in formal Software Engineering and to promote international contacts and collaborations with leading researchers and young scientists based on our excellent networking in the Summer School Marktoberdorf series. Further information with lecturer's topics and the application form are available by http://asimod.in.tum.de/ Do you have further questions or are you interested in our poster and flyer, please don't hesitate to contact: Dr. Katharina Spies, asimod@in.tum.de -- Dr. Katharina Spies ** executive director -- Summer School Marktoberdorf ** http://asimod.in.tum.de | mailto: asimod@in.tum.de Technische Universitaet Muenchen Fakultaet fuer Informatik Boltzmannstr. 3 D-85748 Garching (Muenchen) / Germany Tel. / Fax: ++49-89-289-17829 / -17824 Summer School Marktoberdorf is mainly supported as "NATO Advanced Study Institute"
participants (1)
-
Helmut Seidl