О.И. Николайчук (Кишинев) "Двухпроцессорная система для отладки программ микропроцессора К1810ВМ86".

С.Н. Берестовая (Киев) "Опыт разработки транслятора для МВК".

С.В. Макогонов (Хабаровск) "Тестирование ПЛ-Ассемблерных групп программ в системе "Амур".

Л.Л. Лифшиц (Владивосток) "Принципы создания отладочной системы, анализирующей историю выполнения программы".

Л.А. Москвина (Новосибирск) "Синтез программ в системе СТАРТ".

В.А. Непомнящий, С.Г. Воробьев, А.А. Сулимов (Новосибирск) "Проблемно-ориентированная система верификации программ".

В.А. Непомнящий, О.М. Рякин "Обобщенный подход к аксиоматической семантике операторов над последовательными файлами".

С.Г. Воробьев (Ростов-на-дону) "Индуктивные определения и доказательства в условных системах переписывания термов".

Е.Г. Гендель (Минск) "Однопроходный синтез структурированных исходных программ с сортировкой фрагментов по внутренним номерам".

А.А. Сулимов (Новосибирск) "Система верификации трансляторов".

А.В. Анисимов, В.А. Олещук (Киев) "Системы Черча-Россера относительно отношений".

Т.А. Туманова (Томск) "Об одной задаче планирования отладки программ систем реального времени".

В.Н. Бурлаков, А.И. Золотаревский, Г.Н. Маркова, Н.Г. Марков (Томск) "Диалоговая система тестирования программных средств аппаратно-программных комплексов".

В.К. Погребной, С.В. Огородов (Томск) "Оптимизация синтеза объектных программ".

А.Г. Кликушин, А.М. Онищенко "О стандартизации методов кодирования и отладки программ на языке ПЛ/I".

И.А. Басараб, Б.В. Губский, М.С. Лисовский (Киев) "Композиционный синтез операторов манипулирования табличными структурами данных".

Д.Б. Буй, И.В. Редько (Киев) "О полноте ППА".

Н.К. Лищитович (Киев) "Методы контроля прикладных программ, взаимодействующих с базами данных".

А.А. Амбарцумян (Тбилиси) "Алгоритм оперативного планирования тестирования и отладки".

М.М. Арипов (Москва) "Автоматическая система статического тестирования Фортран-программ".