19 апреля исполняется 81 год со дня рождения Андрея Петровича Ершова.
К этому событию 16 апреля 2012 г. в конференц-зале ИВТ СО РАН приурочена традиционная VI Ершовская лекция по информатике. В этом году лекцию на тему «Верификация программного обеспечения. Текущее состояние и проблемы» прочел Виктор Петрович Иванников.
Предлагаем вашему вниманию фотографии, видеозапись и презентацию лекции.