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

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