Документы, связанные с Е. К. Блум

Письмо, Э. Нейхолд->А.П. Ершов, 19.01.1978
Проф. Э. Нейхолд сообщает членам Рабочей группы о материальной поддержке 24 человек для поездки в Киото на заседание РГ2.2, обсуждает подробности полета в Японию. В письмо вложен листок для голосования по поводу правила о трехразовом отсутствии на заседаниях.
Письмо, Е.К. Блум->А.П. Ершов, 01.12.1978
Автор сожалеет, что адресат не смог посетить его в Лос-Анджелесе. Выражает надежду на встречи в Оксфорде, где он будет работать в следующем году.
Протоколы, 16.06.1980-20.06.1980
заседания в Лингби (Дания) в июне 1980 г. Документ содержит также извещение о кончине К. Элгота.
Письмо, 29.08.1980
об успешном проведении заседания в Лингби и о назначении следующего заседания в Пенисколе (Испания) в апреле-мае 1981 г.
Письмо, Е.К. Блум->Р. Е. А. Мейсон, 01.08.1981
Комментарии Е.К. Блума по поводу предложений об издательской политике "Журнала ТК2". (Документ "Дижон-3".)
Протоколы, 27.04.1981-30.04.1981
заседания в Пенисколе (Испания) в апреле 1981 г.
Протоколы, 01.05.1983-05.05.1983
заседания в Венеции в марте 1983 г. (Часть 2-я, технические сессии).
Протоколы, 28.05.1985-31.05.1985
административной и технической сессий заседания РГ2.2 в Пассау, ФРГ, май 1985 г.
Протоколы, 07.06.1982
заседания ТК2 (административные сессии).
Протокол, 05.06.1987
административной сессии заседания РГ2.2 в Софии-Антиполис (01-05.06.1987).
Информация, 23.08.1978-26.08.1978
о международной конференции по использованию методов формального описания (Киото, 23-26 августа 1978 г.). После нее с 29 августа по 1 сентября намечено заседание РГ2.2.
Письмо, П. Наур->А.П. Ершов, 25.11.1988
Автор благодарит адресата за посвящение ему статьи, опубликованной в BIT, 28 том, ном. 3. Он оценивает и дает краткие рецензии двадцати статьям различных авторов.
Письмо с приложениями, Э. Нейхолд->Р. Е. А. Мейсон, 08.09.1986
Отчет о деятельности РГ2.2 в конце августа 1986 г. Приложены данные о предлагаемых новых членах РГ и протоколы административной и технической сессий заседания РГ (Дания, 27-30.08.1986). (Док. "Сен-Пьер-15".)
Письмо, А.П. Ершов->Е.К. Блум, 13.05.1970
Предлагает напечатать перевод на английский язык статьи В.А. Тузова.
Письмо, Е.К. Блум->А.П. Ершов, 09.07.1980
Автор выражает надежду, что посланные статьи будут полезны адресату в его работе.
Письмо, А.П. Ершов->В. А.Тузов, 25.06.1970
с копией письма от редактора журнала, в котором выйдет статья адресата.
Письмо, Е.К. Блум->А.П. Ершов, 26.05.1970
В ответ на письмо от 13 мая сообщает, что в качестве редактора будет рад опубликовать статью Б.А. Тузова по абстрактному программированию. Просит подготовить перевод статьи на английский язык и связаться с ним.

По порядку | По алфавиту | По дате


Назад

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