Автор: alexm

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание 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)
__________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Кабинет директора ИСИ СО РАН (к.308)
19 мая
Время: 14.30
Заседание N 362
___________________________________________________________________
Новоселов В.Г. Программные средства в банковском деле
Малинина Ю.В. Программные средства подготовки, обработки
и визуализации взаимосвязанных информационных объектов
Бородко А.В. Организация вычислений и символьной обработ-
ки для учебно-игровых программ
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Кабинет директора ИСИ СО РАН (к.308)
Время: 14.30
Заседания NN 358 — 361
___________________________________________________________________
Рассмотрение дипломных работ
21 апреля
Емельянов Павел Геннадьевич. Анализатор семантических свойств
МОДУЛА программ
Грабарь Анатолий Витальевич. Программные средства анализа де-
композиции программ
——————————————————————
28 апреля

Климов Владислав Анатольевич. Архитектура и алгоритмы системы
для манипулирования функциями булевой алгебры.
Боровой Сергей Владимирович. Обучающая программа по методам
вычислительной математики.
Бусыгин Владислав Владимирович. Автоматизированная система
обучения вопрос-ответного типа.
Гладких Игорь Евгеньевич. Средства поддержки разработки графи-
ческого интерфейса прикладных программ.

——————————————————————
5 мая

Брыксин Алексей Александрович. Разработка инструментальных
средств для описания учебных сценариев в многотерминальной обучаю-
щей системе на базе локальной сети УК-НЦ.
Ростовский Владислав Валентинович. Программные средства визуа-
лизации и проверки учебного материала.
Ивания Антон Викторович. Реализация языка начального обучения
программированию на базе системы ГРИН.
Кожевников. Реализация учебного интерпретатора, настраиваемого
на методику применения.

——————————————————————
12 мая

Матюков Петр Юрьевич. Система управления и контроля локальных
вычислительных сетей АСУ ТП Энергоблока Уренгойской ГРЭС.
Пешкичев Юрий Юрьевич. Монитор портов для операционной системы
реального времени АСУ ТП Энергоблока Уренгойской ГРЭС.
Рыжков Виктор Леонидович. Программная модель протокола ТСР/IP.

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 355
__________________________________________________________________
Дата: 1.04.94
Время: 15.00
__________________________________________________________________
Калинина Н.А.
Тема: О работе международной конференции Interval-94
(Санкт Петербург, март 1994)
__________________________________________________________________