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

В ответ на письмо от 19.03.1972 - обещает послать приглашение доктору А. Бликле; извиняется, что не сможет приехать на симпозиум, и предлагает вместо себя В.Е. Котова.

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

Автор в качестве председателя панельной дискуссии "Основные концепции в программировании" на Рабочей конференции ИФИП в Закопане обращается с приглашением участвовать в ней.

семинаров по теории программирования, на которых будут выступать польские ученые.

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

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

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

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

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

С сожалением сообщает, что не сможет приехать в Новосибирск.

Заголовок и резюме доклада на симпозиум будут вскоре высланы.

Четыре официальных письма (стандартизованных, но персональных) с приглашением принять участие в симпозиуме и выступить на нем с докладом. Даются сведения о симпозиуме.

Шесть писем (стандартизованных, но персональных) с извещением об организационной стороне симпозиума, о представлении докладов и их публикации.

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

Приглашает Д.Я. Левина в Вычислительный центр Польской АН для чтения лекций по языку СЕТЛ.

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

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

Автор соглашатся с предложением о создании рабочей группы по методологии программирования, только если А.П. Ершов будет руководить ее работой. Обещает выслать приглашение Д. Левину.

об уточнении сроков предстоящего визита адресата в Польшу.