ул. Льва Толстого, д.16

Microsoft Z3: Как научить компьютер доказывать теоремы и тестировать программы

Регистрация закрыта

В московском офисе Яндекса пройдет необычный научно-технический семинар. Мы пригласили прочитать доклад старшего научного сотрудника Microsoft Research и докладчика секции Интернет-математика на технологической конференции Яндекса - Yet another Conference 2012, Николая Бьернера. У слушателей семинара появится возможность окунуться глубже в тему систем автоматического доказательства, которую Николай презентует на YaC 2012, а также вдоволь пообщаться со спикером, который решил специально задержаться в Москве, чтобы прочитать лекцию у нас.

Семинар пройдет в неформальной обстановке и начнется с выступления Николая, во время которого он подробнее расскажет про открытую систему автоматического доказательства теорем Microsoft Z3 и ее применении в верификации и тестировании программного обеспечения. Также в докладе будут освещены последние достижения в современных системах автоматического доказательства. Николай Бьернер подробно остановится на индексированных структурах данных и алгоритмах, которые используются для реализации таких систем как Z3.

2 октября в московском офисе Яндекса пройдет необычный научно-технический семинар. Мы пригласили прочитать доклад старшего научного сотрудника Microsoft Research и докладчика секции Интернет-математика на технологической конференции Яндекса — Yet another Conference 2012, Николая Бьернера.

Программа

2 октября в 18:30
ул. Льва Толстого, д.16

Microsoft Z3: Как научить компьютер доказывать теоремы и тестировать программы

Регистрация закрыта

Если вы нашли ошибку, пожалуйста, сообщите нам.
Яндекс может помочь с проведением вашего мероприятия. Подробнее
Подпишитесь:
Все материалы доступны по лицензии CC BY-NC 3.0 с обязательным указанием © ООО «Яндекс»
Wed Sep 23 2020 18:01:11 GMT+0300 (Moscow Standard Time)