Президиума СО АН СССР "О проведении Симпозиума по теории программирования" (7-11 августа 1972 г., Новосибирский Академгородок) и Приложения № 1 (Программа), № 2 (список ученых из соц. стран) и № 3 (список ученых из кап. стран) к нему.

и приложение - ответы членов ИФИП/РГ2.1 на анкету по поводу будущей деятельности Рабочей группы. Предлагает обсудить их на следующей встрече в Утрехте.

к оригиналу и английскому переводу своего доклада на конференции по надежному программному обеспечению. Благодарит за согласие отредактировать перевод.

Посылает статью, описывающую метод определения семантики в языках программирования, которая может быть использована при подготовке отчета по АЛГОЛу 68.

Сожалеет, что адресату не удалось приехать в Гренобль на заседание Рабочей группы; надеется, что коллеги сделали все возможное, чтобы адресат смог участвовать в следующем заседании, в Варшаве. Советуется относительно возможных сроков приезда в Новосибирск.

с рекомендациями по приглашению советских и зарубежных ученых на конференцию в Канаде в 1977 г.

Автор спрашивает, согласится ли адресат отредактировать его перевод его доклада на конференции по надежному программному обеспечению.

Сообщает об отправке в двух экземплярах перевода и оригинала доклада.

Сообщает, что текст доклада выслан Э. Хоару для редактирования перевода 26 декабря.

с рассказом о своих поездках в сентябре-октябре 1976 г. Просит помощи в организации панельной дискуссии на Конгрессе ИФИП-77. Предлагает список панелистов. Сообщает о домашних делах.

Рабочие вопросы, связанные с предисловием к книге Ф. Бауэра и Г. Гооса и изданием "Пересмотренного сообщения" и задачника по информатике; с гонорарами для Э. Дейкстры и Э. Хоара.

Приглашают адресата участвовать на Конгрессе ИФИП-75 в панельной дискуссии на тему "Как подготовить людей, умеющих создавать надежное программное обеспечение".

Сообщение о заседании программного комитета ИФИП-74. Приложена предварительная программа международной конференции по надежности математического обеспечения.

Благодарит за письмо от 25 октября и интерес к работе. Говорит, что не знает, переводится ли сборник об Альфа-системе на английский язык. Рассказывает о причинах ослабления интереса к экспериментам по качеству программирования и о начатых недавно новых статистических исследованиях.

К письму приложены два экземпляра рекомендаций автора по поводу отчета по АЛГОЛу 68. Он просит тех членов Рабочей группы, кто поддерживает его негативное отношение к отчету, вернуть с подписью второй экземпляр.

Интересуется, есть ли перевод на английский язык книги об АЛЬФА-системе и проводились ли исследования по сравнению машинного кода при ручном программировании и кода, полученного АЛЬФА-транслятором.

Сообщает о результатах заседания программного комитета и о последующей дискуссии с Э. Хоаром.

Описывают процедуру реферирования докладов для Конференции по надежному софтверу.

Сообщает о дате приезда и о том, что виза пока не получена.

Благодарит за письмо от 17 ноября; проявляет интерес к результатам последних работ. Надеется инициировать подобные исследования в своей компании.