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

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседание N 410
Время: 15.00
21 октября 1996
___________________________________________________________________
Бирюкова Ю.В.
Промежуточные представления при трансляции SISAL-программ
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседание N 409
Время: 15.00
14 октября 1996
___________________________________________________________________
Харитонов Э.В.
Технология конструирования трансляторов средствами языка LISP
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседание N 408
Время: 15.00
10 июня 1996
___________________________________________________________________
Ершова О.Р., Долгова С.Г.
Среда визуального программирования DELPHI: опыт работы.
___________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Комната для семинаров ИСИ СО РАН
Заседани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
Участники Международной
научно-методической конференции
«НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УНИВЕРСИТЕТСКОМ ОБРАЗОВАНИИ».
(Обмен мнениями)

___________________________________________________________________