École d'été de Marktoberdorf
L'École d'été de Marktoberdorf est une école d'été internationale annuelle, d'une durée de deux semaines, en informatique et en mathématiques qui s'adresse à des étudiants titulaires d'une maîtrise ou jeunes chercheurs en thèse. Elle a lieu chaque année depuis 1970 à Marktoberdorf, près de Munich[1]. Les étudiants sont logés dans l'internat du lycée local de Marktoberdorf[2]. Des comptes-rendus sont publiés le cas échéant[3].
Statut
L'école d'été de Marktoberdorf est une école d'été pour chercheurs en informatique théorique[4] - [5]. Les directeurs ou codirecteurs sont des autorités en informatique théorique; certains sont récipiendaires du prestigieux Prix Turing.
L'école est financée comme un institut d'études avancées dans le cadre du programme NATO Science for Peace and Security (en) de l’OTAN de promotion des sciences pour la paix et la sécurité[6]. Elle est administrée par le département d'informatique de l'université technique de Munich[7].
Directeurs
Parmi les directeurs ou co-directeurs passés, il y a (par ordre alphabétique) :
- Manfred Broy[3]
- Friedrich L. Bauer
- Robert Lee Constable
- Edsger W. Dijkstra [8]
- Javier Esparza
- Orna Grumberg
- David Harel
- C. A. R. Hoare[8]
- Orna Kupferman
- Tobias Nipkow
- Doron Peled
- Amir Pnueli[8]
- Alexander Pretschner
- Shmuel Sagiv
- Helmut Schwichtenberg
- Helmut Seidl
- Stanley S. Wainer
Notes et références
- (de) « Informatiker aus aller Welt bei Summer School in Marktoberdorf », sur all-in.de, Germany, .
- « Gymnasium Marktoberdorf ».
- (en) M. Broy et Günther Schmidt (éditeurs), Theoretical Foundations of Programming Methodology : Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare, Reidel, coll. « Nato Science Series C » (no 91), , 672 p. (ISBN 978-94-009-7893-5, présentation en ligne, lire en ligne).
- Appel à participation 2016
- Katharina Spies, « Summer School Marktoberdorf 2014 Call for Application », seworld Archives, ACM,
- « NATO science programme aims to secure computer systems and networks », North Atlantic Treaty Organization, .
- « International Programmes in Germany 2015 – International Summer School Marktoberdorf 2015: Verification and Synthesis of Correct and Secure Systems, Technische Universität München, Marktoberdorf », sur daad.de, Germany, DAAD, (consulté le ).
- Lauréat du Prix Turing