с просьбой внести дополнения в список потенциальных участников конференции ИФИП по качественному программному обеспечению.

с просьбой рассмотреть вопрос о приглашении профессора П. Пула (Австралия) в СССР в качестве гостя ВЦ СО АН СССР для участия в рабочей конференции ИФИП и посещения академических институтов Москвы, Новосибирска и Киева.

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

участника Конгресса.

Конгресса, 11 августа 1977 г.

Рабочей группы 2.1

№ 2 Конгресса ИФИП-74 содержит информацию о программе на 7-9 августа.

содержит общую информацию и программу заседаний на 6-ое августа.

Рабочей группы 2.2

Официальное сообщение об очередном заседании ТК-2 в связке с рабочей конференцией "Formal Description of Programming Concepts II". Приложены программа заседания и бланки для заполнения.

Конгресса, март 1977 г.

членам Программного комитета Конференции ИФИП по качественному программному обеспечению.

членов ТК2, а также руководителей Рабочих групп этого Комитета.

специалистов, привлеченных А.П. Ершовым к рецензированию статей, представленных на конференцию "Языки программирования и конструирование систем".

участников Рабочей конференции ИФИП "Конструирование качественного программного обеспечения" с указанием номеров комнат в гостинице и номеров телефонов.

Р. Фибриха на доклад С. Бандиопадхьяй.

доклада Б. Мейера.

протокола заседания ПК конференции "Микропроцедурные средства, микропрограммирование, реструктурируемая аппаратура" в Будапеште и обновленной предварительной программы.

Вместо Хорнинга предлагаются другие докладчики.

первого дня заседания.