С.В. Воронов (Киев) "Конструирование и отладка языковых процессоров".

А.П. Горабчик (Киев) "ИСТОК - система композиционного семантического конструирования и отладки программ".

А.Т. Самойленко (Киев) "Конструирование программ в языках обработки символьной информации".

С.С. Змачинский (Минск) "Система автоматического распараллеливания программ для синхронной параллельной вычислительной системы".

"Программный статистический полигон".

А.М. Суходольский, О.В. Герман, Ю.Р. Бойтюк, И.П. Гальцов (Минск) "Автоматизированная подсистема поддержки программирования на GPSS".

В.Э. Малышкин (Новосибирск) "Автоматизация конструирования параллельных программ на основе вычислительных моделей с массивами".

Н.Б. Парамонов (Ленинград) "Тестирование программ на основе иерархии свойств".

Г.В. Ермаков (Минск) "Подсистема символьного исполнения MIXAL-программ".

В.Ф. Короп, С.Н. Епишев (Харьков) "Двузначные управляющие структуры".

А.Д. Кожуховский, Л.Н. Ларикова, А.И. Литвин (Томск) "Организация тестового контроля ЭВМ".

В.Г. Вороненко (Львов) "Метод декомпозиции - средство тестирования сложных программных систем".

В.А. Лебедев, В.Т. Вдовицын, А.С. Дубенский, Н.А. Табаков (Петрозаводск) "Реляционная система программирования на базе ОСМО".

К.А. Зубович (Минск) "Схематизация и символическое выполнение аппликативных программ".

В.В. Черняховский (Львов) "Целенаправленная семантическая отладка программ".

В.Б. Новосельцев (Томск) "Использование структуры спецификации при синтезе рекурсивной программы".

С.П. Носиков (Москва) "Формализованный синтез проекта прогрммной системы".

С.М. Арапов, Е.М. Арапова, Н.А. Соляниченко (Винница) "Принципы Фиббоначи в повышении надежности программного обеспечения".

В.Б. Дралюк, М.Г. Зборовский, В.В. Шелепова (Свердловск) "Трио" - модульное средство отладки программ".

Н.А. Калинина (Новосибирск) "О синтезе алгоритма аналитического вычисления в универсальной САВ".