с хронологией работы над статьей.

План срочных мероприятий, составленный теми, кто считает, что действительно занимается компьютеризацией школы.

Рассказывает о рабочих делах, о семейных новостях. Просит достать Труды симпозиума по принципам языков программирования в Пало-Альто.

с рекомендацией к публикации статьи Л.В. Черноброд.

к 10-летнему юбилею ИСИ - петух обнимает курицу, а рядом из яйца вылупляется слоненок.

кандидатского экзамена по специальности 01.01.10 для Л.В. Черноброд.

на книгу Р.Л. Констэбля и М.Дж. О'Доннелл "Программная логика".

пребывания в ВЦ СО АН СССР японского ученого Масахиро Миякавы (Электротехническая лаборатория, Токио) 20-21 августа 1979 г.

Проект плана первого этапа реализации языка СЕТЛ.

Рекомендует к публикации в журнале "Программирование" статью Л.В. Черноброд "О контроле типов значений ... ".

Рекомендует к печати статью Л.В. Черноброд "Верификация циклических программ без использования инвариантов циклов".

сотрудников лаборатории вычислительных процессов ВЦ СО АН. /Текст рукописный./

к статье В.К. Сабельфельда и Л.В. Черноброд, рекомендуемой для печати.

о себе студентки 514 гр. ММФ НГУ Суковатицыной Л.В. /Текст рукописный./

о статье "A Decomposition Rule for the Hoare Logic".

приема в ВЦ СО АН СССР американского ученого доктора Д.Шилдса с супругой.

Просьба послать статью В.К. Сабельфельда и Л.В. Черноброд в другое место, так как ее следы затерялись.

о пребывании сотрудника Нью-Йоркского университета Д.Шилдса в отделении информатики ВЦ СО АН СССР.

о предоставлении жилья Л.В. Черноброд.

Рекомендует для публикации статью В.К. Сабельфельда и Л.В. Черноброд.