Проф. Э. Нейхолд сообщает членам Рабочей группы о материальной поддержке 24 человек для поездки в Киото на заседание РГ2.2, обсуждает подробности полета в Японию. В письмо вложен листок для голосования по поводу правила о трехразовом отсутствии на заседаниях.

Автор сожалеет, что адресат не смог посетить его в Лос-Анджелесе. Выражает надежду на встречи в Оксфорде, где он будет работать в следующем году.

заседания в Лингби (Дания) в июне 1980 г. Документ содержит также извещение о кончине К. Элгота.

об успешном проведении заседания в Лингби и о назначении следующего заседания в Пенисколе (Испания) в апреле-мае 1981 г.

Комментарии Е.К. Блума по поводу предложений об издательской политике "Журнала ТК2". (Документ "Дижон-3".)

заседания в Пенисколе (Испания) в апреле 1981 г.

заседания в Венеции в марте 1983 г. (Часть 2-я, технические сессии).

административной и технической сессий заседания РГ2.2 в Пассау, ФРГ, май 1985 г.

заседания ТК2 (административные сессии).

административной сессии заседания РГ2.2 в Софии-Антиполис (01-05.06.1987).

о международной конференции по использованию методов формального описания (Киото, 23-26 августа 1978 г.). После нее с 29 августа по 1 сентября намечено заседание РГ2.2.

Автор благодарит адресата за посвящение ему статьи, опубликованной в BIT, 28 том, ном. 3. Он оценивает и дает краткие рецензии двадцати статьям различных авторов.

Отчет о деятельности РГ2.2 в конце августа 1986 г. Приложены данные о предлагаемых новых членах РГ и протоколы административной и технической сессий заседания РГ (Дания, 27-30.08.1986). (Док. "Сен-Пьер-15".)

Предлагает напечатать перевод на английский язык статьи В.А. Тузова.

Автор выражает надежду, что посланные статьи будут полезны адресату в его работе.

с копией письма от редактора журнала, в котором выйдет статья адресата.

В ответ на письмо от 13 мая сообщает, что в качестве редактора будет рад опубликовать статью Б.А. Тузова по абстрактному программированию. Просит подготовить перевод статьи на английский язык и связаться с ним.