Ю.Г. Карпов (Ленинград) "Верификация программных систем реального времени".

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

С.В. Крицкий (Минск) "Построение программ надежных управляющих систем".

В.Е. Котов, Л.А. Черкасова (Новосибирск) "Унификация логических средств при описании процессов и верификации их свойств".

С.А. Старкова, Л.А. Черкасова (Новосибирск) "Оптимизация дерева доказательства при синтезе параллельных программ с помощью сетей Петри".

Я.Я. Калниньш, П.Я. Крастиньш (Рига) "Графическая версия языка спецификаций ESTELLE".

Г.В. Уртанс (Рига) "От функции пути к функции программы".

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

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

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

В.Ф. Ротко (Севастополь) "Об одном языке описания заданий на тестирование программ".

В.И. Матов, О.М. Брехов, Г.А. Звонарев (Москва) "Имитационные модели и приложение их к синтезу программ конвейерных векторных вычислительных систем".

М.А. Плаксин (Ленинград) "Средства тестирования программ в диалоговой системе программирования МВК Эльбрус".

Е.И. Манакова, Н.С. Никитченко (Киев) "Композиционное конструирование корректных программ методом редукций".

С.Л. Головков (Москва) "Об одном подходе к индуктивному выводу алгоритмов".

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

Б.И. Вайсер (Новосибирск) "Система автоматизации тестирования САТУРН".

Ф.А. Мурзин (Новосибирск) "О конструкциях языка REFAL".

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

Н.Т. Захарова (Киев) "Денотационная семантика процесса смешанных вычислений в подмножестве ПАСКАЛЯ".