с просьбой порекомендовать специалиста из СССР для работы в РГ2.2 (документ "Баден-12").

Приглашение членам ТК2 принять участие в заседании РГ2.2 (София-Антиполис, Франция, 01-05.07.1987). Приложены регистрационные бланки и список приглашаемых наблюдателей.

членов РГ 2.2.

административной сессии заседания РГ2.2 в Софии-Антиполис (01-05.06.1987).

членам РГ2.3 о ближайших планах работы Группы, в том числе о принятии предложения РГ2.2 по поводу Рабочей конференции "Концепции и методология программирования".

о международной конференции по использованию методов формального описания (Киото, 23-26 августа 1978 г.). После нее с 29 августа по 1 сентября намечено заседание РГ2.2.

о планах работы РГ2.2 на 1980-1982 гг.

Отчет о деятельности РГ2.2 в конце августа 1986 г. Приложены данные о предлагаемых новых членах РГ и протоколы административной и технической сессий заседания РГ (Дания, 27-30.08.1986). (Док. "Сен-Пьер-15".)

Члены ТК2 приглашаются участвовать в очередном заседании РГ2.2 (01-05.06.1987, София-Антиполис). В приложениях - список приглашенных наблюдателей; бланк участника заседания; бланк заявки на гостиницу. (Док. "Сен-Пьер-16".)

Проф. Нейхолд просит спонсорской помощи у ТК2 для проведения конференции РГ2.2 в Киото (август 1978 г.) и для публикации трудов. (Пункт Протокола 7.2 23-го заседания ТК2). /Текст рукописный./

относительно членства в РГ-2.2.

по РГ-2.1 (АЛГОЛ) и РГ-2.2. (Описание языка программирования) с обозначением сфер деятельности и перечислением членов групп. (А.П.Ершов - член РГ-2.1)

об очередном заседании ИФИП/РГ2.2 в Финляндии.

Председатель ИФИП/ТК2 приглашает адресата на следующую конференцию, которая будет проходить в отеле Солек в Варшаве, Польша, с 20 по 24 июня 1988г. В приложении находятся: 1) формальное описание концепций программирования; 2)формы для регистрации участника и резервирования гостиницы.