Летняя Школа по Программной Инженерии и Верификации
17 июля – 27 июля
Место проведения: Москва, Россия
Организаторы: Microsoft Research и НИУ-ВШЭ
Цель Школы – привлечение наиболее одаренных студентов, аспирантов и молодых ученых к научной работе в области программной инженерии, верификации и анализа программ. Студенты школы ознакомятся как с классическими, так и самыми современными результатами исследований. Курсы будут вести признанные международные специалисты в своей области (в их числе – Сэр Тони Хоар, автор языка Z-спецификаций и логики Хоара, лауреат премии Тьюринга).
Рабочий язык Школы – английский.
Темы курсов:
- основы верификации программ
- автоматическое построение доказательств и опровержений
- проверка моделей ПО, процедуры принятия решений и автоматическая генерация контрольных примеров
- статический анализ и обнаружение ошибок программирования
- верификация в многопоточных программах на С и операционных системах
- области прикладного использования анализа программ
Для участия в Летней Школе необходимо:
Зарегистрироваться на мероприятие в системе EasyChair до 15 апреля 2011 года. (Внимание! Поля title и abstract при регистрации заполняются как “empty”). Ранняя регистрация может предоставить преимущество при отборе кандидатов на участие в Школе.
Предоставить документы на участие по полной форме. В их числе:
Заполненная форма заявки (.docx, бланк);
Резюме, включающее информацию как об учебном, так и об исследовательском опыте (.pdf);
Одна из недавних научных публикаций или работ / дипломный проект. Приветствуется тематика, связанная с направлением Школы. (.pdf)
Необязательно, но крайне желательно предоставить также отсканированную и подписанную рекомендацию научного руководителя или знакомого с работой профессора (.pdf).
Документы необходимо сжать в архив .zip и загрузить в систему EasyChair до 1 мая 2011 года.
Контактный адрес e-mail: SSSEV_2011@hotmail.com