| Письмо, Э. Нейхолд->А.П. Ершов, 19.01.1978 Проф. Э. Нейхолд сообщает членам Рабочей группы о материальной поддержке 24 человек для поездки в Киото на заседание РГ2.2, обсуждает подробности полета в Японию. В письмо вложен листок для голосования по поводу правила о трехразовом отсутствии на заседаниях.
Письмо-напоминание с приложениями, 01.06.1986(?)Сопроводительное письмо к материалам по рабочей конференции "Формальное описание концепций программирования" (Гл. Авернес, Дания) и некоторые из этих материалов: 1) приглашение на конференцию; 2,3) бланки регистрации; 4) информация о непосредственно следующем за конференцией заседании РГ2.2 в том же Гл. Авернесе.
Протокол, 18.06.1973-20.06.1973заседания подкомитета РГ (Париж, 18-20.06.1973), посвященного планам реконструирования Группы.
Протоколы, 28.08.1978-30.08.1978заседания в Киото в августе 1978 г.
Список, 27.02.1966кандидатов, предлагаемых в состав РГ 2.2 (приложение В к протоколу 7-го заседания ТК-2).
Состав, 05.08.1970Рабочей группы 2.2. (Приложение 2 к протоколу 12-го заседания ТК-2.)
Письмо, М. Паул->А.П. Ершов, 15.09.1978Автор просит порекомендовать кого-то из советских ученых для участия в деятельности Рабочей группы 2.2.
Письмо, Э. Нейхолд->Т. Б. Стил, мл., 21.10.1975Автор, председатель РГ2.2, сообщает о предстоящем заседании РГ2.2 (23-27 августа 1976 г. в Финляндии) и рабочей конференции ТК2 (3-6 августа 1977 г. в Канаде).
Протоколы, 15.10.1979-19.10.1979заседания в Варшаве в октябре 1979 г.
Письмо, Э. Нейхолд->А.П. Ершов, 19.01.1976Информация о предстоящем заседании ИФИП/РГ2.2: дата, место, повестка, порядок ведения.
Протоколы, 16.06.1980-20.06.1980заседания в Лингби (Дания) в июне 1980 г. Документ содержит также извещение о кончине К. Элгота.
Письмо, 29.08.1980об успешном проведении заседания в Лингби и о назначении следующего заседания в Пенисколе (Испания) в апреле-мае 1981 г.
Письмо на бланке, Э. Нейхолд->А.П. Ершов, 05.04.1978Проф. Нейхолд еще раз пишет членам РГ2.2 и ТК2 о деталях материальной поддержки участников конференции в Киото.
Протоколы, 27.04.1981-30.04.1981заседания в Пенисколе (Испания) в апреле 1981 г.
Протоколы, 01.05.1983-05.05.1983заседания в Венеции в марте 1983 г. (Часть 2-я, технические сессии).
Протоколы, 28.05.1985-31.05.1985административной и технической сессий заседания РГ2.2 в Пассау, ФРГ, май 1985 г.
Письмо, Л. Лампорт->А.П. Ершов, 17.05.1989Напоминание об очередном заседании РГ 2.2 (Пало Альто, 21-25.08.1989). В приложении - информация о заседании и бланк заявки на гостиницу.
Письмо с приложениями, 31.01.1986Письмо членам ТК2 с приглашением на заседание РГ2.2 (Гл. Авернес, Дания, 29-30.08.1986) непосредственно после Рабочей конференции по формальному описеннию концепций программирования. К письму приложены список приглашаемых наблюдателей,
информация о целях и области деятельности Рабочей группы, а также бланк заявки на участие.
Отчет, Э. Нейхолд->М. Паул, 05.08.198128-му заседанию ТК2 о деятельности РГ2.2. (Документ "Дижон-10".)
Письмо, Э. Нейхолд->М. Паул, 08.11.1978по вопросам, относящимся к РГ2.2 (документ "Баден-11").
1
2
По порядку | По алфавиту | По дате |
