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

Сообщается о скоропостижной смерти д-ра К. Элгота. Продолжается обсуждение проблемы выпуска книги, посвященной юбилею проф. Б.А. Трахтенброта. Прилагается копия письма сотрудника из издательства "North-Holland".

Автор сожалеет, что не смог воспользоваться приглашением адресата в Международный вычислительный центр им. С. Банаха, так как он не может позволить себе еще одну зарубежную командировку в этом году. Спрашивает, нельзя ли запланировать подобный визит на 1976 год.

Подтверждают свое желание приехать на Ургенчский симпозиум.

Хива. Летний павильон. А. Мазуркевич, З. Павлак, Э. Шпекер, С. Клини, Д. Клини, А. ван Вейнгаарден.

Просит подтвердить желание адресатов приехать на симпозиум; ищет нужные средства; настоятельно советует забронировать билеты Варшава-Ургенч-Варшава. /Рукописный и машинописный тексты./

Хива. Летний павильон. А.П. Ершов, А. ван Вейнгаарден, Г. Земанек, З. Павлак, А. Мазуркевич.

Автор посылает рецензию на статью Д. Вакарелова "Модальные логики для систем представления знаний", которая предназначена для публикации в "Theoretical Computer Science". /Рукой адресата на полях написано "Где статья?"/

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

Сообщает ориентировочную дату приезда в Польшу, просит подтвердить этот срок и сам факт возможности приехать.

Сожалеет, что адресат не сможет приехать в Варшаву в течение этого семестра. Спрашивает о возможном сроке визита в 1976 году.

Просит срочно рассмотреть возможность приглашения на Ургенчский симпозиум двух польских ученых в качестве гостей АН СССР.

Обнадеживает, что положительное решение по-прежнему возможно в самый последний момент. /Рукописный и машинописный тексты./

"Продолжаю работу, надеюсь иметь решение завтра." /Рукописный и машинописный тексты./

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

Просьба обсудить на ближайшем заседании Комиссии по многостороннему сотрудничеству по проблеме "Научные основы вычислительной техники" вопрос об организации Рабочей группы по теме "Методы конструирования и проверки программ".

Сообщает информацию о прибытии в Москву Клини, Патерсона и Штрассена. Оргкомитет заинтересован в положительном решении вопроса в отношении приглашения двух польских ученых.

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

Информирует о своих переговорах с академиком А.А. Дородницыным по поводу организации Рабочей группы по теме "Научные основы вычислительной техники". Благодарит за приглашение Д.Я. Левина в институт адресата для обсуждения реализации языка СЕТЛ.

По причине крайне занятости с сожалением сообщают, что не смогут принять участие в симпозиуме, который пройдет 7-11 августа в Новосибирске. Будут очень рады получить Труды симпозиума.