É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

Manfred Broy, l'un des directeurs de l'École[3].

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

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Summer School Marktoberdorf » (voir la liste des auteurs).

1. (de) « Informatiker aus aller Welt bei Summer School in Marktoberdorf », sur all-in.de, Germany, 9 août 2015.
2. « Gymnasium Marktoberdorf ».
3. (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 » (n^o 91), 1982, 672 p. (ISBN 978-94-009-7893-5, présentation en ligne, lire en ligne).
4. Appel à participation 2016
5. Katharina Spies, « Summer School Marktoberdorf 2014 Call for Application », seworld Archives, ACM, 13 mars 2014
6. « NATO science programme aims to secure computer systems and networks », North Atlantic Treaty Organization, 3 septembre 2010.
7. « 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, 2015 (consulté le 1^er septembre 2015).
8. Lauréat du Prix Turing

Liens externes

• Site officiel