Email Gateway (Aug 18 2022 at 10:11): Email Gateway (Aug 18 2022 at 10:11):From: Stefan Berghofer <berghofe@in.tum.de>
The
28th Marktoberdorf Summer School 2007
is ready for application up to now and at the latest until February, 28
2007.
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. The course aims at the dissemination
of advanced scientific knowledge and the promotion of international
contacts among scientists.
Further information with lecturer's topics and the application form can
be found under the web-page http://asimod.in.tum.de/
The Summer School topic will be
Formal Logical Methods for System Security and Correctness
The objective of the Summer School is to present the state of the art in
the field of proof technology. The lecturers will show that methods of
correct-by-construction program and synthesis allow a high level
programming method more amenable to security and reliability analysis
and guarantees. By (1) providing the necessary theoretical background
and (2) presenting corresponding application oriented concepts, the
objective is an in-depth presentation of such methods covering both
theoretical foundations and industrial practice based on the promise of
creating a secure-by-construction programming methodology. We assembled
leading researchers in computer science and applied logics who have made
significant advances in creating a formal logical basis for system security.
Lecturers are
Gilles Barthe Orna Grumberg Martin Hyland Tobias Nipkow
Bob Constable John Harrison John Mitchell Helmut Schwichtenberg
Javier Esparza Martin Hofmann Greg Morrisett Stan Wainer
Especially invited to apply for participation are young researchers from
countries like
Albania, Algeria, Armenia, Azerbaijan, Belarus, Bulgaria, Croatia,
Egypt, Georgia, Israel, Jordan, Kazakhstan, Kyrghyz Republi,
Marocco, Mauritania, Moldova, Romania, Russian Federation, Tajikistan,
the former Yugoslav Republic of Macedonia, Tunisia,
Turkmenistan, Ukraine, Uzbekistan.
Last updated: May 03 2024 at 08:18 UTC