?

Log in

Летняя школа по Программной Инженерии и Верификации ПО - Теоретическая информатика по-русски [entries|archive|friends|userinfo]
Теоретическая информатика по-русски

[ Профиль | livejournal userinfo ]
[ Архив | journal archive ]

Летняя школа по Программной Инженерии и Верификации ПО [Apr. 12th, 2011|10:49 pm]
Теоретическая информатика по-русски

ru_cs

[wh1t3cat1k]
Этим летом (с 17 по 27 июля 2011 года) Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную Летнюю Школу, посвященную вопросам программной инженерии и верификации программного обеспечения.

Директором Школы является Тони Хоар (Tony Hoare) – ученый с мировым именем, лауреат премии Тьюринга. В качестве лекторов в школе будут выступать и другие широко известные ученые и профессора из ведущих университетов США и Европы.

К участию приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии. При условии прохождения отбора участие в школе и проживание (предоставляется общежитие) бесплатны.

Если Вы заинтересованы, то спешите зарегистрироваться - последний срок регистрации 15 апреля. В дальнейшем, при принятии Вами окончательного решения относительно участия, Вы сможете подать официальную заявку и документы - до 1 мая.

Подробности - под катом, в нашей группе и на официальном сайте.

Кратко о сроках
  • Последний срок регистрации на мероприятие - 15 апреля 2011 года.
  • Последний срок подачи заявки (документов) - 1 мая 2011 года.

Ключевые курсы
  • Основы верификации программ. Сэр Тони Хоар, Microsoft Research, Великобритания.
  • Автоматизация процесса построения доказательств и опровержений. Андрей Воронков, Университет Манчестера, Великобритания
  • Проверка программной модели и автоматическая генерация тестовых примеров. Патрис Годефроид, Microsoft Research, США
  • Статический анализ и обнаружение ошибок. Янис Смарагдакис, University of Massachusetts, Amherst, США
  • Верификация многопоточных программ на Си и операционных систем. Стефан Тобиес, Microsoft, Германия
  • Абстракции и процедуры принятия решений для эффективной проверки программной модели. Наташа Шарыгина, Университет Лугано, Швейцария
  • Программный анализ и его прикладные области.  Бен Лившиц, Microsoft Research, США..
Для участия в Летней Школе необходимо: 
  • Зарегистрироваться на мероприятие до 15 апреля 2011 года. (Внимание! Поля title и abstract при регистрации заполняются как “empty”). Ранняя регистрация может предоставить преимущество при отборе кандидатов на участие в Школе.
  • Предоставить документы на участие. В их числе:
    • Заполненная форма заявки (.docx);
    • Резюме, включающее информацию как об учебном, таки об исследовательском опыте (.pdf);
    • Одна из недавних научных публикаций или работ / дипломныйпроект. Приветствуется тематика, связанная с направлением Школы. (.pdf)
    • Рекомендация научного руководителя или знакомого с работой профессора (желательно, .pdf).
Вышеуказанные документы необходимо сжать в архив .zip и загрузить в систему EasyChair до 1 мая 2011 года.

Ссылки
LinkReply