----------------------------------------------------------- Объединенный семинар ИСИ СО РАН и НГУ "Конструирование и оптимизация программ" (проводится с 1979 года) Руководитель - проф. В.Н. Касьянов http://pco.iis.nsk.su/seminar ----------------------------------------------------------- Заседание N 897 20 февраля 2018 Комната 254 ИСИ СО РАН Время: 14.30 ----------------------------------------------------------- В.И. Шелехов «Синтез предикатных программ» -----------------------------------------------------------