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

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

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Заседание N 454
29 сентября 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
——————————————————————
В.Н. Касьянов
Конгресс математиков
(ICM-98, г.Берлин, 18-27 августа 1998)
——————————————————————

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

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Комната для семинаров ИСИ СО РАН
Время: 14.15
Заседания NN 448 — 452
——————————————————————
Рассмотрение дипломных работ
21 апреля
Лисицын Иван Александрович. Визуализация и семантическая обра-
ботка иерархических графовых моделей.
Хегай Жанна Эмильевна. Проведение формульных преобразований
для задач в булевых алгебрах.
——————————————————————

28 апреля
Шулешко Галина Вячеславовна. Разработка среды обучения в сис-
теме компьютерной алгебры FABULA.
Чо Ольга. Анализ алгоритмов упрощения в системах компьютерной
алгебры.
Овчиннмикова Наталья. Применение методов теории графов для ре-
шения систем линейных уравнений.
Чистяков Александр Геннадьевич. Средства реорганизации сетевых
приложений.
Труш Андрей Александрович. Автоматизация системного админист-
рирования студенческими проектами на базе OS UNIX
——————————————————————

5 мая
Бояршинов Виктор Александрович. Локальные вычисления в задачах
распознавания вида неориентированных графов
Денисова Юлия Константиновна. Конструирование учебных слоев
для открытых систем.
Кривошей Евгения Николаевна. Автоматизация подготовки справос-
ного материала в среде INTERNET.
Станкевич Андрей Владимирович. Механизм расширения библиотек
для визуализации проектирования HTML -документов.
Патюков Алексей Викторович. Разработка программ с расширяющей-
ся библиотекой объектов для визуализации разработки HTML-докумен-
тов.
——————————————————————

12 мая
Дылыков Жаргал Лубсанович. Исследование информационных процес-
сов в распределенных системах.
Лобив Игорь Васильевич. Конструирование параллельного варианта
метода дискретных вихрей.
Яркаева Ольга. Непрерывная логика для для моделирования энер-
гетических систем
Андреева Елена Валерьевна. Внутреннее представление Паскаль —
программ в системе преобразования семантики

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

19 мая
Кислощаев Константин Владимирович. Прикладной интерфейс систе-
мы электронной подготовки изданий для сети интернет и полиграфии
Васенев Андрей Валерьевич. Организация системы электронной
подготовки изданий и ее базы данных.
Гибадуллин Алексей Заурович. Методы и средства пополнения
Web-версии толкового словаря по теории графов.
Волянская Татьяна Александровна. Методы и средства WEB-интер-
фейса пользователей с информационной системой трансформ.
——————————————————————

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. Касьянов В.Н.
——————————————————————
Заседание N 447
Комната для семинаров ИСИ СО РАН
14 апреля 1998
Время: 14.15
——————————————————————
П.Г.Емельянов
Работы по семантическому анализу в парижской Ecole des Mines
( B.Creusillet & F.Irigoin)
——————————————————————

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

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

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

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

——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. Касьянов В.Н.
——————————————————————
Заседание N 442
Комната для семинаров ИСИ СО РАН
17 февраля 1998
Время: 14.15
——————————————————————
И.Б.Вирбицкайте
О международном семинаре
по языкам, логикам и вычислениям
(WOLLIC’97, Форталезе,Бразилия)
——————————————————————