Бланк регистрации, 01.08.1977 в гостинице "The Algonquin" для участников конференции "Формальное описание концепций программирования.
Бланк справки, 04.08.1977для участников конференции.
Буклет, 31.07.1977-05.08.1977с программой конференции.
Два списка, 01.08.1977-05.08.1977участников конференции.
Записка, 01.08.1977(?)с просьбой объявить о выступлении В. де Рувера. (Скорее всего, на конференции "Формальное описание концепций программирования", но не исключено, что на заседании ТК-2.)
Записка, 01.08.1977(?)с темой некоторой работы и адресом проф. Лангмаака.
Инструкции, 15.02.1977(?)для авторов.
Информационные бюллетени, 03.08.1977-05.08.1977гостиницы "The Algonquin" (три выпуска).
Информационный листок, 01.08.1977с адресами представительств Канадского туристического управления в разных странах.
Информационный листок с приложением, 25.10.1976Краткая информация для участников конференции "Формальное описание концепций программирования". В приложении - туристическая брошюрка о городе Сент-Эндрюс.
Информация, 26.08.19761)Предполагаемый бюджет конференции ТК-2 "Формальное описание концепций программирования". 2)Список участников конференции. (Пункт 7.2.2 Протокола 21-ого заседания ТК-2)
Информация, 13.05.1977для участников конференции.
Карты воздушных рейсов, 01.08.1977авиакомпании "Air Canada".
Конверт и почтовый лист, 31.07.1977гостиницы "The Algonquin".
Краткий отчет, 22.12.1977-29.12.1977о поездке в Канаду. Рукописный и машинописный тексты.
Научно-техническое задание, 14.04.1977А.П. Ершову и В.Е. Котову к поездке в Канаду.
Обоснование, 23.05.1976командировки А.П. Ершова в Канаду. /Черновик./
Петиция, 01.08.1977в поддержку Щаранского и Турчина.
Письмо, А.П. Ершов->Дж. Б. Деннис, 09.08.1976с предложениями по списку участников конференции и по её программе.
Письмо, 03.09.1976черновик оповещения о Рабочей конференции ТК-2 "Формальное описание концепций программирования", которая состоится 1-5 августа 1977г. (Пункт 7.2.2 Протокола 21-ого заседания ТК-2)
1
2
3
По порядку | По алфавиту | По дате |