[TYPES/announce] MOD 2013 - Call for Applications
seidl at in.tum.de
Wed Feb 27 10:04:08 EST 2013
could you please publish the following call for applications?
Thank you in advance!
Our next edition of the
*International Summer School Marktoberdorf 2013*
*Software Systems Safety*
is ready for application from now and by *March 11, 2013* at the latest.
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
Do you have further questions or are you interested in our poster and
flyer, please don't hesitate to contact: Dr. Katharina Spies,
asimod at in.tum.de
More information about the Types-announce