Новости

К 81-летию со дня рождения А.П. Ершова

А.П. Ершов

19 апреля исполняется 81 год со дня рождения Андрея Петровича Ершова.

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

Предлагаем вашему вниманию фотографии, видеозапись и презентацию лекции.