Архив
ИФИП
ИФИП/ТК2/ РГ2.2
Список, 27.02.1966
кандидатов, предлагаемых в состав РГ 2.2 (приложение В к протоколу 7-го заседания ТК-2).
Состав, 05.08.1970
Рабочей группы 2.2. (Приложение 2 к протоколу 12-го заседания ТК-2.)
Протокол, 18.06.1973-20.06.1973
заседания подкомитета РГ (Париж, 18-20.06.1973), посвященного планам реконструирования Группы.
Предложения, 28.03.1974
относительно членства в РГ-2.2.
Материалы, 18.07.1974
по РГ-2.1 (АЛГОЛ) и РГ-2.2. (Описание языка программирования) с обозначением сфер деятельности и перечислением членов групп. (А.П.Ершов - член РГ-2.1)
Письмо, Э. Нейхолд->Т. Б. Стил, мл., 21.10.1975
Автор, председатель РГ2.2, сообщает о предстоящем заседании РГ2.2 (23-27 августа 1976 г. в Финляндии) и рабочей конференции ТК2 (3-6 августа 1977 г. в Канаде).
Письмо, Э. Нейхолд->А.П. Ершов, 19.01.1976
Информация о предстоящем заседании ИФИП/РГ2.2: дата, место, повестка, порядок ведения.
Письмо, Р. Курки-Суонио->Членам ИФИП/РГ 2.2, 12.04.1976
об очередном заседании ИФИП/РГ2.2 в Финляндии.
Письмо, Э. Нейхолд->А.П. Ершов, 19.01.1978
Проф. Э. Нейхолд сообщает членам Рабочей группы о материальной поддержке 24 человек для поездки в Киото на заседание РГ2.2, обсуждает подробности полета в Японию. В письмо вложен листок для голосования по поводу правила о трехразовом отсутствии на заседаниях.
Письмо на бланке, Э. Нейхолд->М. Паул, 27.02.1978
Проф. Нейхолд просит спонсорской помощи у ТК2 для проведения конференции РГ2.2 в Киото (август 1978 г.) и для публикации трудов. (Пункт Протокола 7.2 23-го заседания ТК2). /Текст рукописный./
Письмо на бланке, Э. Нейхолд->А.П. Ершов, 05.04.1978
Проф. Нейхолд еще раз пишет членам РГ2.2 и ТК2 о деталях материальной поддержки участников конференции в Киото.
Информация, 23.08.1978-26.08.1978
о международной конференции по использованию методов формального описания (Киото, 23-26 августа 1978 г.). После нее с 29 августа по 1 сентября намечено заседание РГ2.2.
Протоколы, 28.08.1978-30.08.1978
заседания в Киото в августе 1978 г.
Письмо, М. Паул->А.П. Ершов, 15.09.1978
Автор просит порекомендовать кого-то из советских ученых для участия в деятельности Рабочей группы 2.2.
Письмо, Э. Нейхолд->М. Паул, 08.11.1978
по вопросам, относящимся к РГ2.2 (документ "Баден-11").
Письмо, М. Паул->А.П. Ершов, 15.11.1978
с просьбой порекомендовать специалиста из СССР для работы в РГ2.2 (документ "Баден-12").
Протоколы, 15.10.1979-19.10.1979
заседания в Варшаве в октябре 1979 г.
Письмо, 22.10.1979
о планах работы РГ2.2 на 1980-1982 гг.
Протоколы, 16.06.1980-20.06.1980
заседания в Лингби (Дания) в июне 1980 г. Документ содержит также извещение о кончине К. Элгота.
Письмо, 29.08.1980
об успешном проведении заседания в Лингби и о назначении следующего заседания в Пенисколе (Испания) в апреле-мае 1981 г.

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

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