Международная летняя школа Марктобердорф - это ежегодная двухнедельная летняя школа для международных аспирантов по информатике и математике и других молодых исследователей, которая проводится ежегодно с 1970 года в Марктобердорфе , недалеко от Мюнхена на юге Германии . [1] Ученики размещаются в пансионе местной средней школы Gymnasium Marktoberdorf . [2] Труды публикуются по мере необходимости. [3]
Статус
Это летняя школа теоретической информатики исследователей, [4] с некоторыми директорами / содиректорами , которые Turing Award победители (ближайший эквивалент к Нобелевской премии в области компьютерной науки). [5]
Летняя школа поддерживается Институтом перспективных исследований Программы НАТО «Наука ради мира и безопасности ». [6] Он находится в ведении факультета информатики Мюнхенского технического университета . [7]
Директора
В число бывших академических директоров и содиректоров входят:
- Манфред Брой [3]
- Роберт Ли Констебль
- Хавьер Эспарса
- Орна Грумберг
- Дэвид Харел
- Тони Хоар *
- Орна Купферман
- Тобиас Нипков
- Дорон Пелед
- Амир Пнуэли *
- Александр Пречнер
- Шмуэль Сагив
- Гельмут Швихтенберг
- Хельмут Зайдль
- Стэнли С. Уэйнер
* Лауреаты премии Тьюринга . [5]
Рекомендации
- ^ "Информатик аус аллергик Вельт в летней школе в Марктобердорфе" . all-in.de (на немецком языке). Германия. 9 августа 2015 . Проверено 1 сентября 2015 года .
- ^ «Гимназия Марктобердорф» . Германия . Проверено 1 сентября 2015 года .
- ^ а б в Марктобердорфская летняя школа по теоретическим основам методологии программирования (1982). Брой, Манфред (ред.). Теоретические основы методологии программирования: конспект лекций Международной летней школы, 1981 . Серия институтов перспективных исследований НАТО . 91 . Рейдел . Проверено 2 сентября 2015 года .
- ^ Шпионы, Катарина (28 января 2011 г.). «[Летняя школа в Марктобердорфе 2011] * Прием заявок *» . SEWORLD Архивы . ACM . Проверено 2 сентября 2015 года .
- ^ а б «Хронологический список лауреатов премии AM Тьюринга» . amturing.acm.org/ . ACM . Проверено 2 сентября 2015 года .
- ^ «Научная программа НАТО направлена на обеспечение безопасности компьютерных систем и сетей» . Организация Североатлантического договора . 3 сентября 2010 . Проверено 2 сентября 2015 года .
- ^ «Международные программы в Германии 2015 - Международная летняя школа Марктобердорф 2015: Проверка и синтез правильных и безопасных систем, Технический университет Мюнхена, Марктобердорф» . daad.de . Германия: DAAD. 2015 . Проверено 1 сентября 2015 года .
Внешние ссылки
- Официальный веб-сайт