До окончания приема заявок осталось 2 дня!

[Мария Рудниченко]

Уважаемые участники группы!

Осталось 2 дня до окончания приема заявок на летнюю Школу Microsoft!

Цель Школы - привлечение наиболее одаренных студентов, аспирантов и
молодых ученых к научной работе в области ПИ, верификации и анализа
программ. Курсы будут вести признанные международные специалисты в
своей области (в их числе - сэр Тони Хоар, автор языка Z-спецификаций
и логики Хоара, лауреат премии Тьюринга).

Школа предполагает международное участие и конкурсный отбор; рабочий
язык - английский.

Мероприятие пройдет в Москве с 17 июля по 27 июля 2011.

Организаторы: Microsoft Research совместно с НИУ-ВШЭ и ИСП РАН.

Веб-сайт:http://tinyurl.com/sssev2011.

Группа ВКонтакте: http://vkontakte.ru/sssev2011.