Летняя школа Марктобердорф

Международная летняя школа Марктобердорф — это ежегодная двухнедельная летняя школа для иностранных аспирантов и студентов факультетов компьютерных наук и математики , а также других молодых исследователей, которая проводится ежегодно с 1970 года в Марктобердорфе , недалеко от Мюнхена на юге Германии . ^[1] Студенты размещаются в пансионе местной средней школы Gymnasium Marktoberdorf . ^[2] Труды публикуются по мере необходимости. ^[3]

Статус

Это летняя школа для исследователей в области теоретической информатики ^[4] , некоторые директора/содиректора которой являются лауреатами премии Тьюринга (ближайший эквивалент Нобелевской премии в области информатики). ^[5]

Летняя школа поддерживается Институтом передовых исследований Программы НАТО «Наука ради мира и безопасности» . ^[6] Она администрируется Факультетом информатики Технического университета Мюнхена . ^[7]

Директора

В число бывших академических директоров и содиректоров входят:

^{* Лауреаты} премии Тьюринга . ^[5]

Ссылки

^ "Informatiker aus aller Welt bei Summer School в Марктобердорфе" . all-in.de (на немецком языке). Германия. 9 августа 2015 года . Проверено 1 сентября 2015 г.
^ "Гимназия Марктобердорф". Германия . Проверено 1 сентября 2015 г.
^ Летняя школа abc Marktoberdorf по теоретическим основам методологии программирования (1982). Broy, Manfred (ред.). Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981. NATO Advanced Study Institutes Series. Том 91. Reidel . Получено 2 сентября 2015 г.
^ Spies, Katharina (28 января 2011 г.). "[Летняя школа Марктобердорф 2011] *Призыв к подаче заявок*". Архивы SEWORLD . ACM . Получено 2 сентября 2015 г. .
^ ab "Хронологический список лауреатов премии имени А. М. Тьюринга". amturing.acm.org/ . ACM . Получено 2 сентября 2015 г. .
^ "Научная программа НАТО направлена на обеспечение безопасности компьютерных систем и сетей". Организация Североатлантического договора . 3 сентября 2010 г. Получено 2 сентября 2015 г.
^ «Международные программы в Германии 2015 - Международная летняя школа Марктобердорф 2015: Проверка и синтез правильных и безопасных систем, Технический университет Мюнхена, Марктобердорф» . daad.de. Германия: ДААД. 2015 . Проверено 1 сентября 2015 г.

Внешние ссылки

Официальный сайт

Эта статья по информатике — заглушка . Вы можете помочь Википедии, расширив ее.

Эта статья о Германии — заглушка . Вы можете помочь Википедии, расширив ее.

[1] "Informatiker aus aller Welt bei Summer School в Марктобердорфе" . all-in.de (на немецком языке). Германия. 9 августа 2015 года . Проверено 1 сентября 2015 г.

[2] "Гимназия Марктобердорф". Германия . Проверено 1 сентября 2015 г.

[broy82-3] Летняя школа abc Marktoberdorf по теоретическим основам методологии программирования (1982). Broy, Manfred (ред.). Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981. NATO Advanced Study Institutes Series. Том 91. Reidel . Получено 2 сентября 2015 г.

[4] Spies, Katharina (28 января 2011 г.). "[Летняя школа Марктобердорф 2011] *Призыв к подаче заявок*". Архивы SEWORLD . ACM . Получено 2 сентября 2015 г. .

[turing-award-5] "Хронологический список лауреатов премии имени А. М. Тьюринга". amturing.acm.org/ . ACM . Получено 2 сентября 2015 г. .

[6] "Научная программа НАТО направлена на обеспечение безопасности компьютерных систем и сетей". Организация Североатлантического договора . 3 сентября 2010 г. Получено 2 сентября 2015 г.

[7] «Международные программы в Германии 2015 - Международная летняя школа Марктобердорф 2015: Проверка и синтез правильных и безопасных систем, Технический университет Мюнхена, Марктобердорф» . daad.de. Германия: ДААД. 2015 . Проверено 1 сентября 2015 г.