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

Темы курсов:

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

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

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

Документы необходимо сжать в архив .zip и загрузить в систему EasyChair до 1 мая 2011 года.

Контактный адрес e-mail: SSSEV_2011@hotmail.com