Проф. Э. Нейхолд сообщает членам Рабочей группы о материальной поддержке 24 человек для поездки в Киото на заседание РГ2.2, обсуждает подробности полета в Японию. В письмо вложен листок для голосования по поводу правила о трехразовом отсутствии на заседаниях.

Письмо членам ТК2 от председателя Комитета. К письму приложены: текст приглашения на Вторую конференцию "Формальное описание концепций программирования"; дополнительный список кандидатов для участия в конференции, среди которых адресатам письма предлагается делать свой выбор.

Посылает некролог на смерть Г. Бекича и рассказывает о работе по изданию его трудов. Автор взялся координировать эту работу, но, не будучи историком, нуждается в помощи. Просит присылать копии писем Г. Бекича, чтобы их тоже опубликовать.

Информация о предстоящем заседании ИФИП/РГ2.2: дата, место, повестка, порядок ведения.

Автор, председатель РГ2.2, сообщает о предстоящем заседании РГ2.2 (23-27 августа 1976 г. в Финляндии) и рабочей конференции ТК2 (3-6 августа 1977 г. в Канаде).

Циркулярное письмо Е. Нейхолда членам ТК2 о планах проведения заседания Комитета в Варшаве. Прилагается бланк ответа о возможности участия в заседании. Автор рассказывает также о прошедшем заседании в Бадене, в связи с чем прилагает отчет Т.Б. Стила о взаимодействии между ТК2 и подкомитетом SC16 Международной организации по стандартизации.

председателя РГ2.1 председателю ТК2 о решениях, принятых Рабочей группой. (Документ "Баден-5".)

Проф. Нейхолд еще раз пишет членам РГ2.2 и ТК2 о деталях материальной поддержки участников конференции в Киото.

об успешном проведении заседания в Лингби и о назначении следующего заседания в Пенисколе (Испания) в апреле-мае 1981 г.

28-му заседанию ТК2 о деятельности РГ2.2. (Документ "Дижон-10".)

по вопросам, относящимся к РГ2.2 (документ "Баден-11").

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

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

о международной конференции по использованию методов формального описания (Киото, 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). /Текст рукописный./

семинара по формальному описанию концепций программирования. (Док. "Сен-Пьер-30".)

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