————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————-
Заседание N 803
15 октября 2013
Комната 254 ИСИ СО РАН
Время: 14.15
————————————————-
Р.И. Идрисов
«Теоретические основы программирования:
проекции Футамуры и частичные вычисления»
————————————————-