_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Заседаниe N 399
25 марта 1996
___________________________________________________________________
Время: 15.00
П.Г.Емельянов, В.К. Сабельфельд
Обзор серии работ Невина Хайнтце по новому направлению
теоретико-множественного анализа логических программ
Время: 16.00
Участники Международной
научно-методической конференции
«НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УНИВЕРСИТЕТСКОМ ОБРАЗОВАНИИ».
(Обмен мнениями)
___________________________________________________________________