Летняя школа по Программной Инженерии и Верификации

=============================== Москва, Российская Федерация 17 июля 2011 - 27 июля 2011 =============================== Организаторы: Microsoft Research совместно с НИУ-ВШЭ и ИСП РАН =============================== Цель Школы – привлечение наиболее одаренных студентов, аспирантов и молодых ученых к научной работе в области ПИ, верификации и анализа программ. Курсы будут вести признанные международные специалисты в своей области (в их числе – сэр Тони Хоар, автор языка Z-спецификаций и логики Хоара, лауреат премии Тьюринга). =============================== Школа предполагает международное участие и конкурсный отбор; рабочий язык - английский.