Эксоцман
на главную поиск contacts

Летняя Школа по Программной Инженерии и Верификации, г. Москва. Дата проведения 17.07-27.07.2011. Прием заявок до 15.04.2011

15.04.2011



Организаторы: Microsoft Research и НИУ-ВШЭ

Цель Школы – привлечение наиболее одаренных студентов, аспирантов и молодых ученых к научной работе в области программной инженерии, верификации и анализа программ. Студенты школы ознакомятся как с классическими, так и самыми современными результатами исследований. Курсы будут вести признанные международные специалисты в своей области (в их числе – Сэр Тони Хоар, автор языка Z-спецификаций и логики Хоара, лауреат премии Тьюринга).

Рабочий язык Школы – английский.

Темы курсов:

• основы верификации программ
• автоматическое построение доказательств и опровержений
• проверка моделей ПО, процедуры принятия решений и автоматическая генерация контрольных примеров
• статический анализ и обнаружение ошибок программирования
• верификация в многопоточных программах на С и операционных системах
• области прикладного использования анализа программ

Для участия в Летней Школе необходимо:

Зарегистрироваться на мероприятие в системе EasyChair до 15 апреля 2011 года. (Внимание! Поля title и abstract при регистрации заполняются как “empty”). Ранняя регистрация может предоставить преимущество при отборе кандидатов на участие в Школе.
Предоставить документы на участие по полной форме.

В их числе:

  • Заполненная форма заявки (.docx, бланк);
  • Резюме, включающее информацию как об учебном, так и об исследовательском опыте (.pdf);
  • Одна из недавних научных публикаций или работ / дипломный проект. Приветствуется тематика, связанная с направлением Школы. (.pdf)
  • Необязательно, но крайне желательно предоставить также отсканированную и подписанную рекомендацию научного руководителя или знакомого с работой профессора (.pdf).

Документы необходимо сжать в архив .zip и загрузить в систему EasyChair до 1 мая 2011 года.
Подробная информация о процессе регистрации (англ.): http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/application.html
Подробная информация о Школе (англ.): http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/default.html
Контактный адрес e-mail: SSSEV_2011@hotmail.com