Рубрика: Семинары

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

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
————————————————————
Заседание N 466
9 февраля 1999
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
С.К. Черноножкин
Методы и инструменты метрической поддержки
разработки качественных программ
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
————————————————————
Заседание N 465
22 декабря 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
В.Н. Касьянов
2-я Международная конференция ИМАКС
по схемам, сетям и компьютерам
(IMACS-CSC-98)
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
————————————————————
Заседание N 464
15 декабря 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
Ю.В. Малинина
Система ТРАНСФОРМ:
текущее состояние и планы развития
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
————————————————————
Заседание N 463
8 декабря 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
С.Г. Цикоза
WEB-дизайн и динамический HTML
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
————————————————————
Заседание N 462
1 декабря 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
В.А.Евстигнеев
Вопросы векторизации программ
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
————————————————————
Заседание N 461
24 ноября 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
А.В. Быстров
Спецификация и анализ распределенных систем
и проблемы визуализации
————————————————————

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Заседание N460
17 ноября 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
——————————————————————
В.А. Бояршинов
Системы переписывания графов
(Uwe Assmann «On Edge Addition Rewrite Systems and
their Relevance to Program Analysis»)
——————————————————————

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Заседание N 459
10 ноября 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
——————————————————————
Т.С.Мердишева, Е.С.Мердишева
Система создания структурных изображений
SMART DRAW
——————————————————————

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