научных трудов В.А. Непомнящего.

из протокола заседания Ученого совета ИСИ СО РАН - о новом составе аттестационной комиссии.

заседания Ученого совета ИСИ СО РАН.

о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Не был (накладка)."/

заседания Ученого совета ИСИ СО РАН.

из протокола №14 заседания Ученого совета ИСИ СО РАН - о выдвижении А.А. Сулимова на должность старшего научного сотрудника.

для тайного голосования Ученого совета ИСИ СО РАН по выдвижению Сулимова А.А. на должность старшего научного сотрудника.

из протокола №14 заседания Ученого совета ИСИ СО РАН - о выдвижении В.Н. Касьянова в член-корреспонденты РАЕН.

заседания Ученого совета ИСИ СО РАН.

заседания Ученого совета ИСИ СО РАН.

В.А. Непомнящий, С.Г. Воробьев, А.А. Сулимов (Новосибирск) "Проблемно-ориентированная система верификации программ".

А.А. Сулимов (Новосибирск) "Система верификации трансляторов".