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

Г.А. Нецветаева (Ленинград) "Планирование запросов, включающих спецификации множеств".

Р.И. Подловченко (Ереван) "Проблема эквивалентных преобразований программ в схематологии".

А.В. Корлюков (Гродно) "Генерация ФОРТРАН-программ с целью верификации вычислительного процесса".

Л.Н. Кошек, С.И. Шевчук (Винница) "Разработка системы составления правильных программ с использованием аппарата сетей Петри".

В.И. Мунерман (Смоленск) "Матричный подход к синтезу программного обеспечения обработки файлов".

В.Д. Дмитриенко, В.А. Шорох (Харьков) "Метод эволюционного синтеза программ".

П.В. Эомойс (Таллин) "Многоуровневый дедуктивный синтез программ".

А.А. Ломп (Таллин) "Решение вычислительных задач с помощью системы ПРОЛОГ".

П.Я. Гулинский (Одесса) "Архитектурная поддержка средств отладки программ".

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

В.В. Тимофеева (Калининград) "Реализация тензорных преобразований в языке ПЛ/I".

С.А. Панькин (Саратов) "Выбор модели генерации тестов для контроля программ".

Е.В. Зима (Москва) "Генерация экономных циклов по системам рекуррентных соотношений".

И.А. Волкова (Москва) "Тестирование программ лингвистического анализа".

Е.И. Большакова, М.Г. Мальковский (Москва) "Синтез программ в системе ЛИСС".

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

В.Е. Алемасов, А.Ф. Дрегалин, Р.Р. Назырова "Принципы синтеза текстов программных комплексов в ППП термодинамического расчета".

Г.Н. Кальянов (Москва) "Тестирование и отладка программ параллельных вычислительных систем с общим управлением".

В.В. Паршенцев, В.А. Рубашкин (Москва) "Средства отладки параллельных программ в системе программирования ФОРТРАН-77 ПС-3000".