Информация, 23.08.1978-26.08.1978 о международной конференции по использованию методов формального описания (Киото, 23-26 августа 1978 г.). После нее с 29 августа по 1 сентября намечено заседание РГ2.2.
Материалы, 18.07.1974по РГ-2.1 (АЛГОЛ) и РГ-2.2. (Описание языка программирования) с обозначением сфер деятельности и перечислением членов групп. (А.П.Ершов - член РГ-2.1)
Отчет, Э. Нейхолд->М. Паул, 05.08.198128-му заседанию ТК2 о деятельности РГ2.2. (Документ "Дижон-10".)
Письмо, Э. Нейхолд->А.П. Ершов, 19.01.1978Проф. Э. Нейхолд сообщает членам Рабочей группы о материальной поддержке 24 человек для поездки в Киото на заседание РГ2.2, обсуждает подробности полета в Японию. В письмо вложен листок для голосования по поводу правила о трехразовом отсутствии на заседаниях.
Письмо, М. Паул->А.П. Ершов, 15.09.1978Автор просит порекомендовать кого-то из советских ученых для участия в деятельности Рабочей группы 2.2.
Письмо, Э. Нейхолд->Т. Б. Стил, мл., 21.10.1975Автор, председатель РГ2.2, сообщает о предстоящем заседании РГ2.2 (23-27 августа 1976 г. в Финляндии) и рабочей конференции ТК2 (3-6 августа 1977 г. в Канаде).
Письмо, Э. Нейхолд->А.П. Ершов, 19.01.1976Информация о предстоящем заседании ИФИП/РГ2.2: дата, место, повестка, порядок ведения.
Письмо, 29.08.1980об успешном проведении заседания в Лингби и о назначении следующего заседания в Пенисколе (Испания) в апреле-мае 1981 г.
Письмо, Л. Лампорт->А.П. Ершов, 17.05.1989Напоминание об очередном заседании РГ 2.2 (Пало Альто, 21-25.08.1989). В приложении - информация о заседании и бланк заявки на гостиницу.
Письмо, Э. Нейхолд->М. Паул, 08.11.1978по вопросам, относящимся к РГ2.2 (документ "Баден-11").
Письмо, М. Паул->А.П. Ершов, 15.11.1978с просьбой порекомендовать специалиста из СССР для работы в РГ2.2 (документ "Баден-12").
Письмо, 25.11.1987членам РГ2.3 о ближайших планах работы Группы, в том числе о принятии предложения РГ2.2 по поводу Рабочей конференции "Концепции и методология программирования".
Письмо, 22.10.1979о планах работы РГ2.2 на 1980-1982 гг.
Письмо, Р. Курки-Суонио->Членам ИФИП/РГ 2.2, 12.04.1976об очередном заседании ИФИП/РГ2.2 в Финляндии.
Письмо на бланке, Э. Нейхолд->А.П. Ершов, 05.04.1978Проф. Нейхолд еще раз пишет членам РГ2.2 и ТК2 о деталях материальной поддержки участников конференции в Киото.
Письмо на бланке, Э. Нейхолд->М. Паул, 27.02.1978Проф. Нейхолд просит спонсорской помощи у ТК2 для проведения конференции РГ2.2 в Киото (август 1978 г.) и для публикации трудов. (Пункт Протокола 7.2 23-го заседания ТК2). /Текст рукописный./
Письмо на бланке с приложениями, А. Бликле->А.П. Ершов..., 30.09.1987Председатель ИФИП/ТК2 приглашает адресата на следующую конференцию, которая будет проходить в отеле Солек в Варшаве, Польша, с 20 по 24 июня 1988г. В приложении находятся: 1) формальное описание концепций программирования; 2)формы для регистрации участника и резервирования гостиницы.
Письмо с приложениями, 31.01.1986Письмо членам ТК2 с приглашением на заседание РГ2.2 (Гл. Авернес, Дания, 29-30.08.1986) непосредственно после Рабочей конференции по формальному описеннию концепций программирования. К письму приложены список приглашаемых наблюдателей,
информация о целях и области деятельности Рабочей группы, а также бланк заявки на участие.
Письмо с приложениями, 15.12.1986Приглашение членам ТК2 принять участие в заседании РГ2.2 (София-Антиполис, Франция, 01-05.07.1987). Приложены регистрационные бланки и список приглашаемых наблюдателей.
Письмо с приложениями, Э. Нейхолд->Р. Е. А. Мейсон, 08.09.1986Отчет о деятельности РГ2.2 в конце августа 1986 г. Приложены данные о предлагаемых новых членах РГ и протоколы административной и технической сессий заседания РГ (Дания, 27-30.08.1986). (Док. "Сен-Пьер-15".)
1
2
По порядку | По алфавиту | По дате |