![А.П. Ершов А.П. Ершов](/files/styles/news/public/news/image/20120419_ershov.jpg?itok=L4GKLqGJ)
19 апреля исполняется 81 год со дня рождения Андрея Петровича Ершова.
К этому событию 16 апреля 2012 г. в конференц-зале ИВТ СО РАН приурочена традиционная VI Ершовская лекция по информатике. В этом году лекцию на тему «Верификация программного обеспечения. Текущее состояние и проблемы» прочел Виктор Петрович Иванников.
Предлагаем вашему вниманию фотографии, видеозапись и презентацию лекции.