————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 604
28 сентября 2004
Комната 239 ИСИ СО РАН
Время: 14.30
————————————————————
Ф.А. Мурзин
Вторая летняя региональная (центральноазиатская) Школа
«Формальные методы и информационные технологии»,
( 2 — 14 августа 2004 года, г. Алма-Ата).
————————————————————