[TYPES/announce] Marktoberdorf Summer School 2007 on Formal Logical Methods for System Security and Correctness

[Stefan Berghofer]

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.



-- 
Dr. Katharina Spies
** executive secretary -- Summer School Marktoberdorf **
asimod at in.tum.de | http://asimod.in.tum.de
Technische Universitaet Muenchen
Fakultaet fuer Informatik     Tel.: ++49/89/289-17829
Boltzmannstr. 3           Fax: ++49/89/289-17307
D-85748 Garching (Muenchen) / Germany