Участники конференции "Формальные методы в программировании". Слева направо 1-й ряд: С.П. Мыльников, Л.В. Городняя, В.И. Константинов, -, Т.Г. Чурина, -, М.А. Елохина, И.В. Занина, В.В. Иванова, В.М. Проценко, -, -, В.А. Непомнящий; 2-й ряд: Г.И. Алексеев, А.Я. Диковский, -, -, И.В. Поттосин, -, А.А. Сулимов, О.Н. Очаковская, С.Б. Трепакова, И.Б. Вирбицкайте, -, -; 3-й ряд: С.С. Гончаров, -, В.Н. Касьянов, В.К. Сабельфельд, -, -, -, Н.В. Шилов, А.В. Замулин, -, -, -; 4-й ряд: Ю.Л. Ершов, -, -, -, -, А.В. Быстров, -, -, -, А.А. Берс, В.А. Евстигнеев.