Летняя научная школа по Software Engineering and Verification

Россия, Москва

Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную летнюю школу, посвященную вопросам программной инженерии и верификации программного обеспечения. Директором школы являетсяТони Хоар (Tony Hoare) – ученый с мировым именем, лауреат премии Тьюринга (аналог Нобелевской премии в области информационных технологий).

В качестве лекторов в школу будут приглашены широко известные ученые и профессора из ведущих университетов США и Европы. Планируется привлечение иностранных участников из Эстонии, Литвы, Латвии, Финляндии, Норвегии, Польши, Швеции, Нидерландов, и Испании. К участию также приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии.

Целью школы является формирование у студентов системы теоретических знаний и практических навыков по следующим направлениям:
- Верификация программного обеспечения
- Применение формального вывода при анализе программ
- Статический анализ
- Динамический анализ
- Разработка компиляторов
- Программные средства обеспечения надежности программного обеспечения
- Безопасность программного обеспечения
- Применение средств автоматизированного доказательства теорем при анализе программного обеспечения

Одной из важных целей школы также является развитие у студентов интереса к участию в наиболее перспективных современных исследованиях в области информационных технологий (computer science), особенно в контексте практически применимых и коммерчески важных исследований. В рамках школы будут обсуждаться успешные проекты верификации в индустрии.

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

Дополнительная информация о школе находится на ее странице: http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/

При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.

Последний день подачи заявки: 15 апреля 2011 г. (приём заявок закончен)

Организаторы: Microsoft Research, Высшая Школя Экономики

Контактная информация: Веб: http://research.microsoft.com/en-us/um/redmond/events/SSSEV2011/

Эл. почта: SSSEV_2011@hotmail.com

Поделитесь информацией о мероприятии со знакомыми: