Школа по Software Engineering
Осталось 2 дня до окончания приема заявок на летнюю Школу по Software Engineering!
Цель Школы - привлечение наиболее одаренных студентов, аспирантов и молодых ученых к научной работе в области ПИ, верификации и анализа программ. Курсы будут вести признанные международные специалисты в своей области (в их числе - сэр Тони Хоар, автор языка Z-спецификаций и логики Хоара, лауреат премии Тьюринга).
Школа предполагает международное участие и конкурсный отбор; рабочий язык - английский.
Мероприятие пройдет в Москве с 17 июля по 27 июля 2011. Организаторы: Microsoft Research совместно с НИУ-ВШЭ и ИСП РАН.
Веб-сайт: http://tinyurl.com/sssev2011
Группа ВКонтакте: http://vkontakte.ru/sssev2011
Цель Школы - привлечение наиболее одаренных студентов, аспирантов и молодых ученых к научной работе в области ПИ, верификации и анализа программ. Курсы будут вести признанные международные специалисты в своей области (в их числе - сэр Тони Хоар, автор языка Z-спецификаций и логики Хоара, лауреат премии Тьюринга).
Школа предполагает международное участие и конкурсный отбор; рабочий язык - английский.
Мероприятие пройдет в Москве с 17 июля по 27 июля 2011. Организаторы: Microsoft Research совместно с НИУ-ВШЭ и ИСП РАН.
Веб-сайт: http://tinyurl.com/sssev2011
Группа ВКонтакте: http://vkontakte.ru/sssev2011