Новосибирский региональный общественный фонд информатики и искусства программирования имени академика Андрея Петровича Ершова, Институт систем информатики им. А.П. Ершова СО РАН и Новосибирский государственный университет приглашают посетить VI Ершовскую лекцию по информатике.
Лекция состоится 16 апреля 2012 г. в 14 часов.
Внимание! Место проведения лекции изменено: лекция состоится по адресу: пр. акад. Лаврентьева, 6, в конференц-зале ИВТ СО РАН (каб. 411, 4 эт.), вход - со стороны остановки. Тема лекции - «Верификация программного обеспечения. Текущее состояние и проблемы». Читает академик РАН Виктор Петрович Иванников.