Н.М. Рацин (Рига) "Методология и средства проектирования на основе SOL".

М.С. Брикман, Б.Н. Кандлер (Рига) "Пакет тестовых программ для конечно-элементного решения задачи о поле витка над симметричным включением".

А.В. Поздеев (Рига) "MML как средство тестирования программ".

А.М. Абрамович, И.В. Симонович (Ростов-на-Дону) "Технология автоматизации метода вычислительного эксперимента для задач гидро-геофизики океана".

Л.П. Фельдман, О.И. Федяев, Ю.В. Ладыженский (Донецк) "Автоматизация программирования краевых задач математической физики на проблемно-ориентированной вычислительной системе".

Л.М. Захария, В.П. Захария, Р.И. Тымцив (Львов) "Система автоматизированного синтеза программ МУЛЬТИПРОЦЕССИСТ/СМ-4".

В.А. Королевич (Львов) "САА-машина - инструмент отладки и верификации программ, изготовленных методом МСПП".

В.П. Грицай (Львов) "Структурный синтез и верификация алгоритмов в системе мультипроцессист второго поколения".

Г.В. Соловей, Л.Н. Полякова (Ульяновск) "Тестовое диагностирование управляющих программ".

Е.Я. Карповский С.А. Чижов (Москва) "Оценка результатов испытаний фондируемых программ с использованием теории нечетких множеств".

В.В. Зубенко (Киев) "О построении практических языков для вывода программ".

С.В. Вдовкин, А.А. Кубенский, В.О. Сафонов (Ленинград) "Язык и система КЛУ - основа для разработки программ с абстрактными типами данных".

Н.М. Крыжак, Н.Ф. Трубина (Одесса) "Особенности отладки микропрограммного интерпретатора".

И.Г. Губарь, С.И. Губарь (Днепропетровск) "Модель тестирования программ на основе интенсивности обработки информации".

А.К. Горин (Днепропетровск) "Инструментальная система автоматизации проектирования структур данных".

А.Г. Ломако (Ленинград) "Представление знаний для синтеза программ".

В.О. Карвосеноя (Ленинград) "Многоуровневая спецификация человеко-машинных интерфейсов".

И.В. Карпенко, В.И. Поддубная (Киев) "Автоматизация программирования СПОН и мультипроцессорных систем на их основе".

С.А. Симонов (Новосибирск) "Алгоритм анализа корректности параллельных программ".

В.Л. Павлов (Томск) "Использование методов синтеза конечных автоматов для автоматического синтеза программ".