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

С.В. Суржко (Львов) "Программа как управляемая динамическая система".

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

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

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

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

Я.А. Поллак (Челябинск) "Синтез программ на основе атрибутной синтаксически-управляемой трансляции".

Е.А. Казьмина (Москва) "Вероятностные свойства программ".

С.А. Абрамов (Москва) "Исследование программ с незавершающимся выполнением".

Я.А. Коган, М.Е. Марон "Методы динамической верификации систем взаимодействующих процессов".

А.Л. Ганькин, Н.Н. Горностаев (Москва) "Эксперимент по исследованию трудоемкости тестирования и отладки программ операционной системы реального времени".

А.Е. Александрович, В.О. Чуканов (Москва) "Применение метода структурных коэффициентов для повышения надежности программного обеспечения".

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

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

В.А. Кузнецов (Жуковский) "Об одном подходе к рациональному разбиению программы на модули".

А.М. Кудинов, И.Г. Кухтина, А.Н. Савинцева, Л.А. Полонская, Н.Я. Черных (Ленинград) "Система тестирования вычислительных моделей".

В.В. Стопкевич, В.Г. Халаджи (Запорожье) "Синтез программ для АСУТП водородного восстановления хлоридов кремния".

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

Л.Ф. Викентьев, А.И. Дерябин, С.И. Боридько "Встроенный программный контроль микропроцессорной системы".

Л.Н. Файбисович (Москва) "Анализ применения языка SDL PLUS для спецификации сетевого программного обеспечения".