Escuela de verano en Marktoberdorf

La Escuela Internacional de Verano Marktoberdorf es una escuela de verano anual de dos semanas para estudiantes de posgrado internacionales de informática y matemáticas y otros jóvenes investigadores, que se lleva a cabo anualmente desde 1970 en Marktoberdorf , cerca de Múnich , en el sur de Alemania . ^[1] Los estudiantes se alojan en el internado de una escuela secundaria local, Gymnasium Marktoberdorf . ^[2] Las actas se publican cuando corresponde. ^[3]

Estado

Se trata de una escuela de verano para investigadores teóricos en informática , ^[4] con algunos directores/codirectores que son ganadores del Premio Turing (el equivalente más cercano al Premio Nobel en informática). ^[5]

La escuela de verano cuenta con el apoyo de un instituto de estudios avanzados del Programa de Ciencia para la Paz y la Seguridad de la OTAN . ^[6] Está administrada por la Facultad de Informática de la Universidad Técnica de Múnich . ^[7]

Directores

Prof. Dr. Manfred Broy , uno de los directores principales de la Escuela ^[3]

Los directores y codirectores académicos anteriores incluyen:

• Manfred Broy ^[3]
• Robert Lee Constable
• Javier Esparza
• Orna Grumberg
• David Harel
• Tony Hoare *
• Orna Kupferman
• Tobias Nipkow
• Doron Peled
• Amir Pnueli *
• Alejandro Pretschner
• Peter Müller
• Shmuel Sagiv
• Helmut Schwichtenberg
• Helmut Seidl
• Stanley S. Wainer

^{* Ganadores} del premio Turing . ^[5]

Referencias

1. "Informatiker aus aller Welt bei Summer School en Marktoberdorf". all-in.de (en alemán). Alemania. 9 de agosto de 2015 . Consultado el 1 de septiembre de 2015 .
2. "Gimnasio Marktoberdorf". Alemania . Consultado el 1 de septiembre de 2015 .
3. Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1982). Broy, Manfred (ed.). Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981. NATO Advanced Study Institutes Series. Vol. 91. Reidel . Consultado el 2 de septiembre de 2015 .
4. Spies, Katharina (28 de enero de 2011). «[Summer School Marktoberdorf 2011] *Call for Application*». Archivos SEWORLD . ACM . Consultado el 2 de septiembre de 2015 .
5. "Lista cronológica de ganadores del premio AM Turing". amturing.acm.org/ . ACM . Consultado el 2 de septiembre de 2015 .
6. "El programa científico de la OTAN tiene como objetivo proteger los sistemas y redes informáticas". Organización del Tratado del Atlántico Norte . 3 de septiembre de 2010 . Consultado el 2 de septiembre de 2015 .
7. "Programas internacionales en Alemania 2015 - Escuela internacional de verano Marktoberdorf 2015: Verificación y síntesis de sistemas correctos y seguros, Technische Universität München, Marktoberdorf". daad.de. ​Alemania: DAAD. 2015 . Consultado el 1 de septiembre de 2015 .

Enlaces externos

• Sitio web oficial