предыдущий | следующий месяц
Пн
Вт
Ср
Чт
Пт
Сб
Вс
25
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5

Научные конференции 2024

Международный научно-исследовательский журнал, публикации РИНЦ, GeoRef, DOI
РЕКЛАМА


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

 

РЕКЛАМА

 

 

РЕКЛАМА
]]>

 

РЕКЛАМА

 


РЕКЛАМА
Добавить «Золотую ленточку»

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

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

Выслать ссылку по e-mail

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

Язык информации: Русский

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

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

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

РЕКЛАМА

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

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