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

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

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

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

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

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

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

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

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

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

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

с сообщением нового адреса.

Посылает предварительную программу заседания ИФИП/РГ2.2 в сентябре во Франции. Просит сообщить о возможном участии и выступлении.

Автор сожалеет, что не сможет участвовать в работе ИФИП/РГ2.2 в Тампере. Сообщает имя того, кто будет председателем на этой встрече.

с сообщением об изменении адреса в период с 01.07.1977 по 30.06.1978.

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

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

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

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

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