головной организации о диссертации Р.И. Подловченко, представленной на соискание ученой степени доктора физико-математических наук.

официального оппонента о диссертации Р.И. Подловченко "Моделирование программ схемами и построение полных систем преобразований схем", представленной на соискание ученой степени доктора физико-математических наук.

официального оппонента на докторскую диссертацию Р.И. Подловченко "Моделирование программ схемами и построение полных систем преобразований схем".

о диссертации Р.И. Подловченко "Моделирование программ схемами и построение полных систем преобразований схем", представленной на соискание ученой степени доктора физико-математических наук.

ведущего предприятия о диссертационной работе Г.Е. Цейтлина "Структурное параллельное программирование и его применение к решению задач символьной обработки", представленной на соискание ученой степени доктора технических наук.

официального оппонента о диссертации В.А. Вальковского "Методы схемного распараллеливания и построение параллельных программ", представленной на соискание ученой степени доктора физико-математических наук.

из протокола объединенного заседания семинаров ВЦ СО АН СССР, НФ ИТМ и ВТ АН СССР и НГУ с заключением о докторской диссертации В.Н. Касьянова "Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем".

объединенного заседания семинаров "Системное программирование", "Теоретическое программирование" и "Оптимизация и преобразование программ" о диссертации В.Н. Касьянова.

совместного заседания семинаров "Системное программирование" и "Теоретическое программирование", где был заслушан доклад Н.Н. Непейводы, представляемый к защите в качестве диссертации на соискание ученой степени доктора физико-математических наук.

ведущей организации о докторской диссертации В.Б. Бетелина "Исследование и реализация интерактивных систем обработки графической информации".