Автор: alexm

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. Касьянов В.Н.
——————————————————————
Заседания N 430
Комната для семинаров ИСИ СО РАН
16 сентября 1997
Время: 14.15
——————————————————————
Э.В.Харитонов
О возможностях ОС Linux для пользователя
(продолжение)
——————————————————————

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. Касьянов В.Н.
——————————————————————
Заседания N 429
Комната для семинаров ИСИ СО РАН
8 сентября 1997
Время: 15.00
——————————————————————
Э.В.Харитонов
О возможностях ОС Linux для пользователя
——————————————————————

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Комната для семинаров ИСИ СО РАН
Время: 15.00
Заседания NN 426 — 428
——————————————————————
Рассмотрение дипломных работ
28 апреля
Ершова Ольга Равиловна. Развитие информационной обстановки
для учебной системы преобразования программ.
Долгова Светлана Геннадьевна. Разработка учебно-методического
наполнения системы преобразования программ.
——————————————————————

5 мая

Маркин Владимир Анатольевич. Сравнительный анализ теоретиког-
рафовых промежуточных представлений программ.
Сторожук Анна Юрьевна. Анализ зависимости по данным на базе
интервального теста.

——————————————————————

12 мая

Бухгейм Александр Александрович. Алгоритмы оптимизации трех-
мерных полигональных поверхностей для машинной графики реального
времени.
Носенко Геннадий Федорович. Структуры данных, описывающие
трехмерные модели органических форм и их генерация.
Тимохин Сергей Станиславович. Структуры данных, описывающие
трехмерные модели органических форм и их генерация.

——————————————————————

—————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
—————————————————————-
Комната для семинаров ИСИ СО РАН
Заседание N 425
Время: 15.00
21 апреля 1997
—————————————————————-
Н.А.Калинина
О работах по символьным математическим вычислениям,
представленных на конференциях NCTCS-96 и AISMC3-96
________________________________________________________________

—————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
—————————————————————-
Комната для семинаров ИСИ СО РАН
Заседание N 424
Время: 15.00
14 апреля 1997
—————————————————————-
Ф.А.Мурзин
Нейрокомпьютеры и качественные модели: введение
________________________________________________________________

—————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
—————————————————————-
Комната для семинаров ИСИ СО РАН
Заседание N 423
Время: 15.00
7 апреля 1997
—————————————————————-
В.А. Евстигнеев
Хордальные графы и их свойства
________________________________________________________________

—————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф., чл.-корр. РАЕН В.Н.Касьянов
—————————————————————-
Комната для семинаров ИСИ СО РАН
Заседание N 422
Время: 15.00
31 марта 1997
—————————————————————-
Г.П. Несговорова
По следам второго международного конгресса ЮНЕСКО
«Образование и информатика»
(Москва, 1996)
________________________________________________________________

—————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф., чл.-корр. РАЕН В.Н.Касьянов
—————————————————————-
Комната для семинаров ИСИ СО РАН
Заседание N 421
Время: 15.00
24 марта 1997
—————————————————————-
П.Г. Емельянов
реферирование статьи
J.Knoop O.Roething B.Steffen
«Towards a Tool Kit for the Automatic Generation of
Interprocedural Data Flow Analyses»
________________________________________________________________

—————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф., чл.-корр. РАЕН В.Н.Касьянов
—————————————————————-
Комната для семинаров ИСИ СО РАН
Заседание N 420
Время: 15.00
17 марта 1997
—————————————————————-
Л.В. Городняя
GNU Software: некоммерческий подход к развитию
программного обеспечения
________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф., чл.-корр. РАЕН В.Н.Касьянов
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседание N 419
Время: 15.00
3 марта 1997
___________________________________________________________________
И.А. Лисицын
Система для редактирования иерархических графов HIGRES
___________________________________________________________________