Документы, связанные с Манфред Паул

  • Письмо У. Дейкхёйс -> А.П. Ершов 31.07.1979
    Рассказывает о предложении профессора М. Паула организовать встречу всех членов редколлегии, чтобы обсудить ближайшее будущее журнала. Предлагает собраться в Лондоне в сентябре текущего года.
  • Письмо М. Паул -> А.П. Ершов 13.10.1979
    Просьба проголосовать по поводу утверждения М. Вуджера председателем РГ2.3 и сообщить свое решение по почте.
  • Письмо Э. Нейхолд 22.10.1979
    о планах работы РГ2.2 на 1980-1982 гг.
  • Письмо У. Дейкхёйс -> А.П. Ершов 30.11.1979
    Сообщает о выплате гонорара за 9-й том журнала. С удовольствием рассказывает об успехах, о введении новых членов в редакцию журнала. Обсуждает выпуск 10-го юбилейного тома.
  • Письмо М. Паул 08.01.1980
    Копия письма, разосланная всем членам редакции IPL. Автор высказывает свое критическое отношение к предложению профессора Буса по улучшению работы рецензентов.
  • Телеграмма М. Паул -> А.П. Ершов 24.01.1980
    М. Паул не получил ещё никаких докладов для рецензирования.
  • Рецензия М. Паул -> А.П. Ершов 02.03.1980
    М. Паула на доклад М. Джазаери и К. Оршича.
  • Письмо М. Паул -> А.П. Ершов 25.06.1980
    с сообщением о смерти проф. К. Замельзона и предложением принять участие в подготовке статьи, посвященной его памяти, вместе с другими членами редколлегии журнала "Acta Informatica".
  • Набросок статьи М. Паул 29.08.1980
    "Klaus Samelson", посвященной памяти ученого.
  • Письмо с приложением М. Паул -> А.П. Ершов 29.10.1980
    членам ТК2 ИФИП. Прилагается список лиц, приглашаемых на Рабочую конференцию, для заочного голосования по этому списку.
  • Письмо М. Паул -> А.П. Ершов 04.02.1981
    Просит "поискать" авторов докладов для симпозиума. Для них возможно продление "последнего срока" до 23.02.81.
  • Письмо с приложениями М. Паул -> А.П. Ершов 12.02.1981
    Письмо членам ТК2 от председателя Комитета. К письму приложены: текст приглашения на Вторую конференцию "Формальное описание концепций программирования"; дополнительный список кандидатов для участия в конференции, среди которых адресатам письма предлагается делать свой выбор.
  • Письмо М. Паул -> Р. Покок (Цобель-Покок) 25.05.1981
    членам ТК2 ИФИП с просьбой подать свой голос по вопросу о международной стандартизации Алгола 68. Экземпляр, адресованный Р. Покок.
  • Письмо М. Паул -> А.П. Ершов 25.05.1981
    членам ТК2 с просьбой подать свой голос по вопросу о международной стандартизации Алгола 68. Экземпляр, адресованный А.П. Ершову.
  • Письмо с приложением Р. Покок (Цобель-Покок) 24.06.1981
    Извещение о 28-м заседании ТК. Приложена предварительная повестка дня.
  • Письмо М. Паул -> А.П. Ершов 10.07.1981
    членам ТК2 ИФИП с просьбой проголосовать за список приглашаемых на рабочую конференцию "Программный язык и связанные с ним сопряжения", а также предложить свои кандидатуры. /Экземпляр, адресованный А.П. Ершову./
  • Письмо М. Паул 10.07.1981
    Письмо членам ТК2 с просьбой проголосовать за список лиц, приглашаемых на рабочую конференцию "Программный язык и связанные с ним сопряжения", а также предложить свои кандидатуры. Экземпляр из материалов заседания ТК2 в Дижоне. (Документ "Дижон-16".)
  • Отчет М. Паул 13.07.1981
    председателя ТК2 Генеральной ассамблее ИФИП. Сопровождается семью приложениями. (Документ "Дижон-7".)
  • Письмо А.П. Ершов -> А.А. Дородницын 06.08.1981
    Рассказывает о поездке в Лозанну, о своем выступлении и о проблемах, которые волнуют иностранных коллег в связи с участием советских представителей в международных предприятиях. /Текст рукописный./
  • Письмо А.П. Ершов -> Ф. Бауэр 19.01.1982
    Автор сообщает о полученных им интересных результатах в теории трансформационного программирования. Предлагает выступить с сообщением в Мюнхене, объединив этот визит с заседанием ИФИП/ТК2, но при условии, что будет оказана финансовая поддержка. (Рукописный и машинописный варианты).
  • Письмо с приложением М. Паул -> А.П. Ершов 08.02.1982
    Приглашает Ершова принять участие в рабочей конференции ТК-2 "Formal Description of Programming Concepts II". Приложены предварительная программа конференции и бланк для заполнения.
  • Письмо М. Паул -> А.П. Ершов 25.03.1982
    Сообщает о планируемой рабочей конференции ТК-2 "Programming Languages and System Design" в марте 1983 года. Автор согласился быть председателем програмного комитета и приглашает Андрея Петровича быть членом этого комитета. Первое заседание можно было бы провести в Гармише после заседания ТК-2.
  • Письмо М. Паул -> А.П. Ершов 25.03.1982
    с приглашением войти в состав ПК рабочей конференции ИФИП "Языки программирования и конструирование систем".
  • Письмо М. Паул -> Членам ИФИП/ТК2 31.05.1982
    Приглашение всем участникам заседания ТК-2 участвовать в конференции "Formal Description of Programming Concepts II". Сообщается нужная информация о времени, месте и дополнительных мероприятиях.
  • Краткий отчет А.П. Ершов 28.06.1982
    о результатах командировки в ФРГ А.П.Ершова.
  • Письмо М. Паул -> А.П. Ершов 07.12.1982
    Посылает для реферирования статьи, заявленные на Рабочую конференцию ИФИП в Дрездене. Просит сообщить, сможет ли адресат участвовать в январской встрече в Мюнхене, где будет производиться отбор докладов.
  • Телеграмма Борманн -> А.П. Ершов 25.01.1983
    с выражением заинтересованности в участии А.П. Ершова в рабочей конференции ИФИП "Языки программирования и конструирование систем".
  • Письмо М. Паул -> Д. Грис 23.03.1983
    Приводятся объяснения по поводу спорной статьи в 18-ом номере журнала "Acta Informatica".
  • Письмо М. Паул -> А.П. Ершов 13.07.1983
    Автор спрашивает, нет ли новостей по поводу идеи провести рабочую конференцию "Логика и программирование" и нельзя ли ее совместить с международным конгрессом математиков в Москве.
  • Письмо с приложением М. Паул -> А.П. Ершов 24.05.1984
    Приглашение на коллоквиум, посвященный 60-летию профессора Ф.Л. Бауэра.
  • Письмо с приложением М. Паул -> А.П. Ершов 08.03.1985
    Специальное приглашение от президента ИФИП на все мероприятия по случаю празднования 25-летия ИФИП. Приложены приглашения и карта Мюнхена.
  • Письмо на бланке с приложениями М. Паул -> А.П. Ершов 20.01.1988
    Информирует о совещании ТК2 в Мюнхене 28-29 марта на предстоящей неделе, перед которым состоится совещание РГ2.7. Предлагается заполнить и срочно отослать вложенные в письмо формы для регистрации и для бронирования гостиницы.
  • Письмо на бланке Р. Мейсон -> А.П. Ершов 05.02.1988
    Адресата как члена ТК2 просят подтвердить свое участие в заседании ТК2, которое состоится в Мюнхене 28-29 марта 1988 г. Если он сам не сможет приехать, было бы замечательно, если бы он смог организовать представительство от своей страны.

Страницы

Назад