マルクトオーバードルフサマースクール

マルクトオーバードルフ国際サマースクールは、 1970年以来、南ドイツのミュンヘン近郊のマルクトオーバードルフで毎年開催されている、国際的なコンピュータサイエンスと数学の大学院生と他の若手研究者を対象とした2週間のサマースクールです。^[1]学生は地元の高校であるギムナジウムマルクトオーバードルフの寄宿舎に宿泊します。^[2]議事録は適宜出版されます。^[3]

状態

これは理論計算機科学の研究者のためのサマースクールであり^[4]、ディレクターや共同ディレクターの中にはチューリング賞（計算機科学におけるノーベル賞に最も近い賞）の受賞者もいます。^[5]

このサマースクールは、 NATOの平和と安全のための科学プログラムの高度研究機関として支援されています。^[6]ミュンヘン工科大学情報学部が運営しています。^[7]

過去の学術ディレクターおよび共同ディレクターは次のとおりです。

^ “Informatiker aus aller Welt bei Summer School in Marktoberdorf”. all-in.de (ドイツ語)。ドイツ。 2015 年 8 月 9 日。2015 年9 月 1 日に取得。
^ “マルクトーバードルフ体育館”.ドイツ。2015 年9 月 1 日に取得。
^ abc 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 . 2015年9月2日閲覧。
^ Spies, Katharina (2011年1月28日). 「[Summer School Marktoberdorf 2011] *Call for Application*」. SEWORLD アーカイブ. ACM . 2015年9月2日閲覧。
^ ab 「AMチューリング賞受賞者の年代順リスト」。amturing.acm.org /。ACM 。 2015年9月2日閲覧。
^ 「NATOの科学プログラムはコンピュータシステムとネットワークの安全確保を目指す」北大西洋条約機構。2010年9月3日。 2015年9月2日閲覧。
^ “ドイツの国際プログラム 2015 – マルクトーバードルフ国際サマースクール 2015: 正しく安全なシステムの検証と総合、ミュンヘン工科大学、マルクトーバードルフ”.だぁで。ドイツ：DAAD。 2015年。2015 年9 月 1 日に取得。