Конкурс на участие в летней школе Microsoft по программной инженерии и верификации

 


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

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

Участие в работе Школы бесплатно, но успешным кандидатам придется оплатить проезд до места проведения Школы и обратно и некоторые расходы на проживание (до $500), точный размер которых будет определен позже.

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

Предварительную, краткую заявку необходимо отправить до 15 апреля 2011 года. Ранняя регистрация занимает около 2-х минут и предоставляет кандидатам некоторые преимущества.

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

Подробная информация о процедуре подачи заявки опубликована на сайте Школы.