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

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

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

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

доклада "Теория программирования".

"Математическая теория программирования".

о научной, научно-организационной и педагогической деятельности д.ф.-м.н. А.А. Летичевского.

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

Автор, по предложению А.А.Летичевского, выслал заполненную анкету участника. Хочет узнать дополнительную информацию.

"Сообщение об алгоритмическом языке АЛГЭК" - "Кибернетика", №2, 1966 /отдельный оттиск/

О подготовке делегации на конференцию ИФИП в Пизе (Италия) 5-9 сентября 1966; комментарии к тексту письма в Литгазету; об анализе программ и алгоритмах оптимизации как теме диссертационного исследования

Сообщает информацию о планируемой конференции ИФИП в Пизе. Называет нескольких возможных кандидатов от СССР. Спрашивает мнение адресата по этом поводу.

к оттискам статей.

В ответ на просьбу из Комитета по Ленинским и Государственным премиям СССР в области науки и техники авторы сообщают свое мнение относительно представленных работ.

Просьба выслать на имя В.М. Глушкова приглашение выступить с докладом.

на рукопись А.А. Летичевского "Синтаксис и семантика формальных языков", представленную к опубликованию в журнале "Кибернетика". Заключение рецензента - рекомендовать работу к печати.

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

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

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

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