16 апреля 2012 г. в 14 часов в конференц-зале ИВТ СО РАН (каб.411, 4 эт., вход со стороны остановки) состоится VI Ершовская лекция по информатике.

Тема лекции: «Верификация программного обеспечения. Текущее состояние и проблемы».

Читает академик РАН Виктор Петрович Иванников.