о проведении всесоюзного семинара "Оптимизация и преобразование программ" в Новосибирске 4-6 мая 1982 г.

о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.

возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков 1982 года.

Симпозиум способствовал сближению точек зрения по вопросам, представленным в его тематике, установлению личных научных и деловых контактов. Перечислены высказанные рекомендации.

на статью "On parallel semantics of sequential programs".

А.А.Летичевского "Abstract Data Types and Finding Invariants of Programs".

о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.

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

возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./

Автор с сожалением сообщает, что не сможет приехать в Тбилиси на конференцию по искусственному интеллекту. Передает текст статьи, которую просит представить в IPL. Дает рекомендации по подбору рецензентов.

Автор выражает огорчение в связи с переносом сроков конференции. Касается вопросов, связанных с изданием Трудов. Советует провести неофициальное заседание 15 ноября под названием "Однодневный симпозиум по некоторым последним работам в области программирования". Прилагает список рекомендуемых председателей заседаний.

о необходимости скорейшего издания "Пересмотренного сообщения об алгоритмическом языке Алгол 68".

Автор высылает приложенную статью В.М. Глушкова, Ю.В. Капитоновой, А.А. Летичевского "О применении метода формализованных технических заданий к проектированию программ обработки структур данных" и просит опубликовать ее в журнале "Программирование".

доклада А.А. Летичевского "Автоматные методы в теории программирования".

Письмо со списком советских участников симпозиума (29 фамилий); о бронировании жилья в гостинице; о погоде в Новосибирске в 1-й половине августа.

одного из заседаний. /Текст рукописный./

статьи А.А. Летичевского.

на рукопись А.А. Летичевского "Функциональная эквивалентность дискретных преобразователей".

"О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.

по Научному совету по комплексной проблеме "Кибернетика" - назначить председателя Секции "Искусственный интеллект", утвердить её структуру и состав всех входящих в неё комиссий.