Лаборатория Конструирования и Оптимизации Программ

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседаниe N 407
20 мая 1996
Время: 15.00
___________________________________________________________________
Л.В. Городняя
Развитие и применение открытых систем
(3 межд.конф., Москва, апрель 1996)
___________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Комната для семинаров ИСИ СО РАН
Время: 15.00
_________________________________________________________________
Рассмотрение дипломных работ
——————————————————————
Заседание N 405
6 мая
Тихонов Евгений Юрьевич.Тема: Трансляция алгебраических спе-
цификаций.
Котельникова Светлана Евгеньевна. Тема: Автоматизированное
рабочее место секретаря. Первичная обработка документов.
Гранатюк Виктория Николаевна. Тема: Разработка программной
системы анализа и преобразований SISAL-программ.
Хегай Жанна Эмильевна. Тема: Структуры данных и базовые пре-
образования в системах компьютерной алгебры. Реализация преобра-
зований булевых функций с помощью бинарных разрешающих диаграмм.
——————————————————————

Заседание N 406
13 мая

Климов Владислав Анатольевич. Тема: Система символьных вы-
числений в булевых алгебрах.
Якимович Даниил Александрович. Тема: Разработка визуаль-
но-интерактивной системы моделирования.
Лисицын Иван Александрович. Тема: Система обработки графи-
ческих объектов.
——————————————————————

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседаниe N 404
29 апреля 1996
Время: 15.00
___________________________________________________________________
Э.В. Харитонов
Internet с точки зрения пользователя
___________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседаниe N 403
22 апреля 1996
Время: 16.00
___________________________________________________________________
Л.А. Захаров
Продолжение обзора докладов
Third International Workshop
on
Software Engineering Education
(Berlin, March 30, 1996)
___________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Заседаниe N 402
15 апреля 1996
Время: 16.00
___________________________________________________________________
Л.А. Захаров
Обзор докладов
Third International Workshop
on
Software Engineering Education
(Berlin, March 30, 1996)
___________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Заседаниe N 401
8 апреля 1996
Время: 15.00
___________________________________________________________________
Бирюкова Ю.В.
SISAL-90: обзор языка и системы
___________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Заседаниe N 399
25 марта 1996
___________________________________________________________________
Время: 15.00
П.Г.Емельянов, В.К. Сабельфельд
Обзор серии работ Невина Хайнтце по новому направлению
теоретико-множественного анализа логических программ
Время: 16.00
Участники Международной
научно-методической конференции
«НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УНИВЕРСИТЕТСКОМ ОБРАЗОВАНИИ».
(Обмен мнениями)

___________________________________________________________________

——————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
начинает рассмотрение серии работ по логическому программированию,
посвященных проблемам семантического анализа логических программ
(главным образом методом абстрактной и теоретико-множественной
интерпретации)
и эквивалентного преобразования логических программ.
В первом обзорном докладе А.В. Сабельфельд сделает краткий реферат
содержания классической монографии
Дж.В. Ллойд. Основы логического программирования.
На последующих семинарах предполагается рассмотреть следующие работы:
1. Томас Линдгрен
Анализ потока управления в Прологе
2. Роберто Джиакобацци, Франческо Ранцато
Функциональные зависимости и Муровские семейства пополнений для
абстрактной интерпретации и семантики
3. К.-К. Лау, М. Орнаги, А. Петторосси, М. Пройетти
Корректность преобразований логических программ на основе
экзистенциального завершения
4. Обзор серии работ Невина Хайнтце по новому направлению
теоретико-множественного анализа логических программ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Время: 15.00
Заседаниe N 395
26 февраля 1996
___________________________________________________________________

А.В. Сабельфельд
Реферат монографии
Дж.В. Ллойда «Основы логического программирования».

___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Время: 15.00
Заседаниe N 394
19 февраля 1996
___________________________________________________________________
Лисицын И.А.
О некоторых топологических мерах сложности программ
и алгоритмах их вычисления
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Время: 15.00
Заседаниe N 392
12 февраля 1996
___________________________________________________________________
Емельянов П.Г.
О работах по теоретическому программированию
в Политехнической школе
(по материалам командировки во Францию)
___________________________________________________________________