Благодарит за письмо. Сообщает, что будет в Марктобердорфе. Обещает передать запрос адресата в Королевское общества для включения в список. Обращает внимание на изменения в адресе. /Текст рукописный./

к списку потенциальных панелистов и собранным комментариям на тему дискуссии. А.П. Ершов предлагает каждому приготовить для дальнейшей публикации текст (1-2 стр.) в течение месяца.

Официальное приглашение профессору Э. Хоару посетить Советский Союз. (На двух языках).

Список ученых с указанием места работы и рабочего адреса

с вопросом о процедуре отладки верифицированной программы.

Просьба санкционировать участие И.В. Клокачева и сотрудников его лаборатории в приеме профессоров Э. Дейкстры и Э. Хоара, а также оказать содействие в проведении семинара с докладами гостей в помещении Института социально-экономических проблем АН СССР.

По поводу выплаты гонорара иностранным ученым проф. Э. Хоару и проф. Э. Дейкстре. Краткая научная и личностная характеристика, в которой подчеркивается "дружественное отношение к Советскому Союзу и его ученым".

Содержит детали, касающиеся предстоящего визита А.П.Ершова; приложена подробная программа поездки, которую просят прокомментировать.

и список публикаций проф. Э. Хоара.

В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просьба назначить ответственного по приему от Ленинградского отделения Математического института АН СССР, организации, принимающей гостей в Ленинграде. Сообщается дата прибытия.

с вопросом о перспективах вычислительных систем с аппаратной интерпретацией языков высокого уровня.

Предварительная программа Семинара (с рукописной правкой) и сопроводительное письмо, адресованное сопредседателям Программного комитета

Автор благодарит за приглашение, одобряет предложенную программу визита.

"Edsger Wybe Dijkstra". /Перевод Э. Хоара написанного А.П. Ершовым текста с русского языка на английским./

Благодарность за письмо и программу курса; обсуждение курса "Математическая логика и теория множеств"; просьба посоветовать литературу по исчислению программ

Спрашивает, как решается проблема комбинирования спецификаций, конструирования и реализации программ.

В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просьба назначить ответственного по приему от Вычислительного центра АН СССР, который является организацией, принимающей гостей в Москве. Сроки пребывания гостей в Москве.

Сообщает, что получил грант на покупку билета из Белфаста в Москву. Просит купить обратный билет и обещает оплатить его из гонорара, полученного за книгу по структурному программированию.

С благодарностью подтверждает получение статьи о преемнике АЛГОЛа. Сообщает о своей поддержке позиции Г. Бекича относительно заседания ИФИП/РГ2.1.

"Newsletter", специальный выпуск за июль 1968 г.