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

Письмо, Р. А. Покок (Цобель-Покок)->М. Паул, 25.02.1982
РГ2.7 представляет 29-му заседанию ТК2 свои решения, касающиеся, в частности, неудач с организацией Третьей Рабочей конференции "Командный язык и связанные с ним сопряжения". (Документ "Гармиш-12".)
Письмо, А.П. Ершов->Ф. Л. Бауэр, 19.01.1982
Автор сообщает о полученных им интересных результатах в теории трансформационного программирования. Предлагает выступить с сообщением в Мюнхене, объединив этот визит с заседанием ИФИП/ТК2, но при условии, что будет оказана финансовая поддержка. (Рукописный и машинописный варианты).
Письмо, Дж. М. Беннетт->М. Паул, 27.04.1979
представителя ИФИП председателю ТК2 по поводу текущих дел комитета, взаимодействия с ТК6, ИСО и издательством "North-Holland" (документ "Венеция-2").
Письмо, У. Дейкхёйс->А.П. Ершов, 24.08.1976
Приглашает участвовать в редакционной коллегии журнала Information Processing Letters. Рассказывает о планах журнала, о тех, кто уже принял такое предложение, сообщает о зарплате редактора.
Письмо, К. Замельзон->А.П. Ершов..., 28.01.1975
Официальное приглашение от директоров Института информатики посетить Институт в 1975 году. Просят приурочить поездку к дате проведения международной летней школы по языковым структурам и иерархиям и выступить там с лекциями. Сообщают о финансовом обеспечении поездки и надеются на усиление научных контактов. /Приложен перевод письма на русский язык./
Письмо, М. Паул->А.П. Ершов, 15.09.1978
Автор просит порекомендовать кого-то из советских ученых для участия в деятельности Рабочей группы 2.2.
Письмо, Дж. Пул->А.П. Ершов, 05.03.1978
Автор просит подтвердить возможность проведения и дату 6-го заседания РГ2.5 в Новосибирске до 7 апреля 1978 г., а также описать все другие параметры заседания членам РГ2.5 во время предстоящего 4-го заседания в Торонто.
Письмо с приложением, П. Р. Кинг->М. Паул, 10.05.1983
Сопроводительное письмо к отчету 30-му заседанию ТК2 о деятельности РГ2.1 с января 1982 г. и сам этот отчет. (Документ "Баден-4".)
Отчет, 24.09.1972-25.10.1972
представителя СССР о 14-м заседании Технического комитета ИФИП № 2 по программированию (ТК-2). /Рукописный и машинописный варианты./
Рукописные ответы, 28.07.1968
участников заседания по его тематике.
Телеграмма, Борманн->А.П. Ершов, 25.01.1983
с выражением заинтересованности в участии А.П. Ершова в рабочей конференции ИФИП "Языки программирования и конструирование систем".
Письмо, С. А. Шуман->М. Паул, 06.08.1976
в сопровождение телеграммы А.П. Ершова, касающейся новосибирской конференции.
Письмо, В. М. Маккимэн->М. Паул..., 29.08.1979
Успешно завершены лекции по методологии программирования, что способствовало также успеху заседания Рабочей группы по методологии в Санта Круc. Сообщается также о распределении денежного фонда, полученного от ИФИП.
Письмо, М. Паул->А.П. Ершов, 10.07.1981
членам ТК2 ИФИП с просьбой проголосовать за список приглашаемых на рабочую конференцию "Программный язык и связанные с ним сопряжения", а также предложить свои кандидатуры. /Экземпляр, адресованный А.П. Ершову./
Черновик письма, А.П. Ершов->М. Паул, 10.08.1981
Комментарии А.П. Ершова по поводу предложений об издательской политике "Журнала ТК2".
Черновик письма, А.П. Ершов->М. Паул, 21.07.1981
В качестве члена ТК2 ИФИП автор голосует за предложенный список участников конференции "Командный язык и связанные с ним сопряжения".
Письмо, автор не установлен->М. Паул, 14.09.1978
по поводу проведения Летней школы в Новой Зеландии (документ "Баден-6").
Отчет, 01.08.1970
№ 10 о деятельности РГ 2.1. (Приложение 4 к протоколу 12-го заседания ТК-2.)
Отчет, 02.05.1971
№11 о деятельности РГ 2.1 13-му заседанию ТК-2.
Письмо, Э. Нейхолд->М. Паул, 28.09.1982
председателя РГ2.1 председателю ТК2 о решениях, принятых Рабочей группой. (Документ "Баден-5".)

1 2 3 4 5 6 7 8 9 10 11
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016