Этим летом (с 17 по 27 июля 2011 года) Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную Летнюю Школу, посвященную вопросам программной инженерии и верификации программного обеспечения. В числе спонсоров и партнеров Школы — компании Intel, Google, Лаборатория Касперского, а также IEEE Computer Society.
Директором Школы является сэр Тони Хоар (Tony Hoare) — ученый с мировым именем, лауреат премии Тьюринга. В качестве лекторов в школе будут выступать широко известные ученые и другие профессора из ведущих университетов США и Европы.
К участию приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии.
Если Вы заинтересованы, то спешите зарегистрироваться: Вы можете подать официальную заявку и документы до 1 мая включительно.
Подробности — под катом, в нашей группе и на официальном сайте.
Ключевые курсы
- Основы верификации программ. Сэр Тони Хоар, Microsoft Research,
Великобритания. - Автоматизация процесса построения доказательств и опровержений. Андрей Воронков, Университет Манчестера, Великобритания
- Проверка программных моделей и автоматическая генерация тестовых
примеров. Патрис Годефроид, Microsoft Research, США - Статический анализ и обнаружение ошибок. ЯнисСмарагдакис, University
of Massachusetts, Amherst, США - Верификация многопоточных программ на Си и операционных систем. Стефан Тобиес, Microsoft, Германия
- Абстракции и процедуры принятия решений для эффективной проверки
программных моделей. Наташа Шарыгина, Университет Лугано, Швейцария - Программный анализ и его прикладные области. БенЛившиц, Microsoft
Research, США.
Проживание и стоимость участия
- Для кандидатов, прошедших, отбор посещение учебных курсов является полностью бесплатным. Слушателям школы также будет предложены бесплатные места в одном из общежитий НИУ-ВШЭ.
- Участники сами несут ответственность и все финансовые расходы, связанные с транспортом и получением виз в Россию, если таковые необходимы.
Для участия в Летней Школе необходимо:
- Зарегистрироваться на мероприятие. (Внимание! Поля title и abstract при регистрации заполняются как “empty”). Ранняя регистрация может предоставить преимущество при отборе кандидатов на участие в Школе.
- Представить документы на участие. В их числе:
- Заполненная форма заявки (.docx);
- Резюме, включающее информацию как об учебном, таки об исследовательском опыте (.pdf);
- Одна из недавних научных публикаций или работ / дипломный проект. Приветствуется тематика, связанная с направлением Школы. (.pdf)
- Рекомендация научного руководителя или знакомого с работой профессора (желательно, .pdf).
Ссылки
- Группа ВКонтакте (там же находится FAQ)
- Подробная информация о процессе регистрации (англ.)
- Подробная информация о Школе (англ.)
- Контактный адрес e-mail: SSSEV_2011@hotmail.com
