расширенный поиск
]]>

 

 

 

 

]]>

 

 

 


Добавить «Золотую ленточку»

17 июля 2011 г. — 27 июля 2011 г., срок заявок: 15 апреля 2011 г.

Летняя научная школа по 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

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

 

 

Нашли ошибку? Выделите ее, нажмите Ctrl и Enter одновременно.

Для отправления сообщения оргкомитету Вы должны быть зарегистрированы и авторизованы на сайте


Сообщение об ошибке отправлено администратору,
спасибо что пользуетесь нашим сервисом!

закроется через 2 секунды