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

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

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 353
__________________________________________________________________
Дата: 18.2.94
Время: 15.00
__________________________________________________________________
Грабарь А.В.
Тема: Генерация кода в системе СОКРАТ
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 351
__________________________________________________________________
Дата: 24.12.93
Время: 15.00
__________________________________________________________________
Цикоза В.А.
Тема: Уточненные модели анализа множеств значений пере-
менных (по работам Granger, Cousot, Halbwachs)
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 350
__________________________________________________________________
Дата: 17.12.93
Время: 15.00
__________________________________________________________________
Мавлютов И.Б.
Тема: Методы покадровой (peep-hole) оптимизации
__________________________________________________________________