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

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 373
Дата: 17.2.95
Время: 15.00
_________________________________________________________________
М.Н.Дорожевец
Проект интеллектуальной сети ВЕЯ:
цели создания и пути реализации
_________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 372
Дата: 23.12.94
Время: 15.00
_________________________________________________________________
Л.В.Городняя, Ю.В.Малинина
О проекте информационно инструментальной системы ТРАНСФОРМ.
_________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 371
Дата: 16.12.94
Время: 15.00
_________________________________________________________________
Евстигнеев В.А.
Система ПРОГРЕСС: подсистема промежуточных представлений.
_________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание N 370
Дата: 2.12.94
Время: 15.00
__________________________________________________________________
Соколов Г.В.
Языки описания моделей и разработка системы функционального
моделирования дискретных устройств
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание N 369
Дата: 4.11.94
Время: 15.00
__________________________________________________________________
Апанович З.И.
Комбинаторные задачи синтеза топологии СБИС.
Компактификация и трассировка.
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание N 368
Дата: 28.10.94
Время: 15.15
__________________________________________________________________
Телерман В.В.
О международной конференции AISMC-2 по
искусственному интеллекту и символьным вычислениям
(Кембридж, 3-5 августа 1994 г.)
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание N 367
Дата: 21.10.94
Время: 15.00
__________________________________________________________________
Мурзин Ф.А.
Организация памяти параллельных компьютеров
и задача поиска целей
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание N 365
Дата: 5.10.94
Время: 15.00
__________________________________________________________________
Сабельфельд В.К.
Анализ свойств и эквивалентные преобразования
на моделях программ
(докторская диссертация)
__________________________________________________________________
__________________________________________________________________
Заседание N 366
Дата: 14.10.94
Время: 15.00
__________________________________________________________________
Сулимов А.А.
Язык спецификации и описания SDL
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 364
__________________________________________________________________
Дата: 30.09.94
Время: 15.00
__________________________________________________________________
Калинина Н.А.
О работе Всероссийской школы
Компьютерная логика, алгебра и интеллектное управление
(Иркутск, июль 1994)
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 363
__________________________________________________________________
Дата: 23.09.94
Время: 15.00
__________________________________________________________________
Шилов Н.В.
О работе 16 международной летней школы
«Deductive program design»: лекции Дейкстры и Гриса.
(Marktoberdorf, август 1994)
__________________________________________________________________