Документы, связанные с Здзислав Павлак

  • Постановление М.А. Лаврентьев 07.01.1972
    Президиума СО АН СССР "О проведении Симпозиума по теории программирования" (7-11 августа 1972 г., Новосибирский Академгородок) и Приложения № 1 (Программа), № 2 (список ученых из соц. стран) и № 3 (список ученых из кап. стран) к нему.
  • Письмо З. Павлак -> А.П. Ершов 27.07.1972
    По причине крайне занятости с сожалением сообщают, что не смогут принять участие в симпозиуме, который пройдет 7-11 августа в Новосибирске. Будут очень рады получить Труды симпозиума.
  • Письмо К. Чулик 01.08.1972
    Автор в качестве председателя панельной дискуссии "Основные концепции в программировании" на Рабочей конференции ИФИП в Закопане обращается с приглашением участвовать в ней.
  • Список 13.12.1972
    семинаров по теории программирования, на которых будут выступать польские ученые.
  • Протокол 23.05.1973
    12-го заседания Комиссии многостороннего сотрудничества Академий наук социалистических стран по проблеме "Научные вопросы вычислительной техники" и шесть Приложений к нему.
  • Письмо с приложением З. Павлак -> А.П. Ершов 07.12.1973
    Посылает информационные материалы, связанные с Семестром математических основ информатики, и приглашает адресата прочитать лекции в рамках этого Семестра.
  • Письмо З. Павлак -> А.П. Ершов 08.04.1974
    Сожалеет, что адресат не сможет приехать в Варшаву в течение этого семестра. Спрашивает о возможном сроке визита в 1976 году.
  • Письмо З. Павлак -> А.П. Ершов 03.10.1974
    С сожалением сообщает, что не сможет приехать в Новосибирск.
  • Письмо З. Павлак -> А.П. Ершов 20.12.1974
    Заголовок и резюме доклада на симпозиум будут вскоре высланы.
  • Письмо З. Павлак -> А.П. Ершов 14.07.1975
    Автор благодарит за развернутую информацию о симпозиуме, рад участвовать в нем, привезет достаточное количество экземпляров своего доклада.
  • Письмо З. Павлак -> А.П. Ершов 30.10.1975
    Приглашает Д.Я. Левина в Вычислительный центр Польской АН для чтения лекций по языку СЕТЛ.
  • Письмо А.П. Ершов -> А.А. Дородницын 12.11.1975
    Просьба обсудить на ближайшем заседании Комиссии по многостороннему сотрудничеству по проблеме "Научные основы вычислительной техники" вопрос об организации Рабочей группы по теме "Методы конструирования и проверки программ".
  • Письмо З. Павлак -> А.П. Ершов 02.12.1975
    Автор соглашатся с предложением о создании рабочей группы по методологии программирования, только если А.П. Ершов будет руководить ее работой. Обещает выслать приглашение Д. Левину.
  • Письмо З. Павлак -> А.П. Ершов 22.01.1976
    об уточнении сроков предстоящего визита адресата в Польшу.
  • Письмо с приложением З. Павлак -> А.П. Ершов 25.10.1976
    Просит Андрея Петровича стать приглашенным докладчиком на Международной конференции по фундаментальной теории вычислений, которая пройдет в Польше в 1977 году. Приложен информационный листок об этой конференции.
  • Письмо А.П. Ершов -> А. Бликле 23.04.1979
    Объясняет наличие в конверте приглашений еще для двух ученых.
  • Письмо З. Павлак -> А.П. Ершов 18.05.1979
    Пишет, что есть желание принять участие в работе симпозиума; однако существуют серьезные финансовые проблемы.
  • Ответ на 2-е извещение З. Павлак -> А.П. Ершов 04.06.1979
    Сообщает, что хотел бы приехать на симпозиум, но у него нет, к сожалению, финансовых возможностей.
  • Письмо З. Павлак -> А.П. Ершов 08.08.1979
    Авторы благодарят за сообщение о симпозиуме в Ургенче; принять участие в работе симпозиума по причине финансовых трудностей у АН ПНР, к сожалению, не смогут.
  • Телеграмма А.П. Ершов -> В.В. Давыдов 30.08.1979
    Сообщает информацию о прибытии в Москву Клини, Патерсона и Штрассена. Оргкомитет заинтересован в положительном решении вопроса в отношении приглашения двух польских ученых.
  • Телеграмма А.П. Ершов -> К.П. Глаголев 30.08.1979
    Просит срочно рассмотреть возможность приглашения на Ургенчский симпозиум двух польских ученых в качестве гостей АН СССР.
  • Телеграмма А.П. Ершов -> К.П. Глаголев 30.08.1979
    Просит срочно рассмотреть вопрос о возможности приглашения польских ученых А. Мазуркевича и З. Павлака на Ургенчский симпозиум в качестве гостей АН СССР. /Текст рукописный./
  • Телеграмма З. Павлак -> А.П. Ершов 04.09.1979
    Подтверждают свое желание приехать на Ургенчский симпозиум.
  • Телеграмма А.П. Ершов -> В.В. Давыдов 07.09.1979
    Просьба проследить своевременную отправку телеграммы в Берн и справиться о положении дел с приглашением двух польских ученых. /Рукописный и машинописный тексты./
  • Телеграмма А.П. Ершов -> В.В. Давыдов 13.09.1979
    Просит послать телеграммы в Ташкент в отношении С. Клини, М. Патерсона, Ф. Штрассена, А. Мазуркевича и З. Павлака. /Рукописный и машинописный тексты./
  • Фотография 16.09.1979
    Хива. Летний павильон. А. Мазуркевич, З. Павлак, Э. Шпекер, С. Клини, Д. Клини, А. ван Вейнгаарден.
  • Фотография 16.09.1979
    Хива. Летний павильон. А.П. Ершов, А. ван Вейнгаарден, Г. Земанек, З. Павлак, А. Мазуркевич.
  • Письмо Д. Скотт -> А.П. Ершов 25.07.1980
    Сообщается о скоропостижной смерти д-ра К. Элгота. Продолжается обсуждение проблемы выпуска книги, посвященной юбилею проф. Б.А. Трахтенброта. Прилагается копия письма сотрудника из издательства "North-Holland".
  • Письмо Д. Вакарелов -> А.П. Ершов 28.04.1988
    Высылает свою статью "Modal logics for knowledge representation systems" и просит представить ее к опубликованию в TCS. Рассказывает об этой работе и о создании в Софийском университете лаборатории по прикладной логике. Надеется на сотрудничество.
  • Обложка А.П. Ершов 06.05.1988
    с хронологией работы над статьей.
  • Телетайпограмма З. Павлак -> И.В. Поттосин 22.01.1991
    Автор будет рад участвовать в конференции и предлагает доклад по нечетким множествам.
  • Телетайпограмма З. Павлак -> М.А. Бульонков 24.05.1991
    Автор сожалеет, что не может приехать на конференцию из-за финансовых проблем своего института.
Назад