Алгоритмы, дискретная математика и пр.'s Journal (original) (raw)

Этим летом (с 17 по 27 июля 2011 года) Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную Летнюю Школу, посвященную вопросам программной инженерии и верификации программного обеспечения.

Директором Школы является Тони Хоар (Tony Hoare) – ученый с мировым именем, лауреат премии Тьюринга. В качестве лекторов в школе будут выступать и другие широко известные ученые и профессора из ведущих университетов США и Европы.

К участию приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии.

Если Вы заинтересованы, то спешите зарегистрироваться - последний срок регистрации 15 апреля. В дальнейшем, при принятии Вами окончательного решения относительно участия, Вы сможете подать официальную заявку и документы - до 1 мая.

Подробности - под катом, в нашей группе и на официальном сайте.

( Collapse )