[TYPES/announce] Summerschool MOD 2019 - Call for Applications

[Helmut Seidl]

Hello,

could you please publish the following announcement of the Summerschool MOD?

Thank you in advance!
                          Helmut


============================




The 40th edition of the

	**International Summer Scho based on the excellent networking in the
Summer School Marktoberdorf series.ol Marktoberdorf 2019**

on

	Safety and Security of Software Systems:
			Logics, Proofs, Applications

is now ready for application. Deadline is: April 7, 2019.

This year's lecturers are

	Matthias Althoff (TUM)
	Gilles Barthe (IMDEA/MPI-SP)
	Rüdiger Ehlers (GER)
	Javier Esparza (TUM)
	Holger Hermanns (Uni SB)
	Magnus Myreen (Chalmers)
	Helmut Seidl (TUM)
	Catuscia Palamidessi (LIX)
	Andre Platzer (CMU)
	Mooly Sagiv (Tel Aviv)
	Viktor Vafeiadis (MPI-SWS)
	Moshe Vardi (Rice U.)
	

The "Marktoberdorf Summer School" is a ten days' course for young
computer scientists and mathematicians working in the field of formal
software and systems development. It takes place at the little town of
Marktoberdorf, this year from July 31 to August 9, 2019.

Our challenge is to give in-depth presentations of state-of-the-art
topics in verification for safety and security of software systems and
to promote international contacts and collaborations between leading
researchers and young scientists.

Further information with lecturers' topics and the application form are
available by

	http://asimod.in.tum.de/

If you have further questions, please do not hesitate to contact us via
email:

	seidl at in.tum.de