Документы, связанные с Энн Харальдович Тыугу

  • Краткий отчет А.П. Ершов 01.04.1979
    о пребывании А.П. Ершова на втором заседании ПК.
  • Письмо с приложениями Ф. Самнер -> А.П. Ершов 03.04.1979
    Автор просит А.П. Ершова выяснить у приглашенных докладчиков из СССР и Болгарии, согласны ли они представить доклады. Приложены формы приглашений.
  • Список (проект) 10.09.1979
    членов программного комитета конференции.
  • Тезисы Э.Х. Тыугу 18.09.1979
    докладов Кречмара, Летичевского, Мазуркевича, Манина, Непейводы, Тыугу и А. ван Вейнгаардена.
  • Сопроводительное письмо В.А. Матулис -> А.П. Ершов 19.10.1979
    к тексту отредактированного первого информационного письма об организации конференции в Паланге в 1980 г. с перечнем внесенных изменений. Приложение: 1. Текст первого информационного письма.
  • Письмо Э.И. Эллер 23.10.1979
    о проведении всесоюзной конференции "Банки данных" (октябрь 1980 года; Тбилиси).
  • Письмо В.А. Матулис -> А.П. Ершов 24.10.1979
    В письме приводится список организационного комитета конференции и обозначаются функции А.П. Ершова в оргкомитете - ответственный за составление программы конференции.
  • Письмо А.П. Ершов -> Р. Берсталл 19.11.1979
    От имени программного комитета автор обращается к адресату, как к доброжелательному читателю, с просьбой помочь обеспечить высокое качество стиля и содержания доклада Э.Х. Тыугу, снабдив доклад развернутыми комментариями после внимательного прочтения.
  • Черновик письма А.П. Ершов -> Р. Берсталл 19.11.1979
    Программный комитет просит рецензента доклада Э. Тыугу помочь автору обеспечить высокое качество стиля и содержания доклада.
  • Решение А.А. Дородницын 22.11.1979
    Бюро Междуведомственной научно-технической комиссии по программному обеспечению ЭВМ ГКНТ по поводу создания Рабочей группы по технологии программирования (РГТП).
  • Сопроводительное письмо А.П. Ершов -> Р. Берсталл 04.12.1979
    к новой версии приглашенного доклада Э. Тыугу.
  • Телеграмма Э.Х. Тыугу -> А.П. Ершов 25.12.1979
    "Надо ли куда-нибудь высылать рукопись моего доклада?"
  • Акт экспертизы Э.Х. Тыугу 08.01.1980
    статьи Э.Х. Тыугу "Структурный синтез программ".
  • Письмо Э.Х. Тыугу -> А.П. Ершов 11.01.1980
    Сообщает, что прилагает к письму тексты своего доклада на русском и английском языках, а также акт экспертизы.
  • Письмо А.П. Ершов -> Ф. Самнер 15.01.1980
    Отчет по подготовке к Конгрессу ИФИП-80.
  • Письмо Р. Берсталл -> А.П. Ершов 15.01.1980
    с оценкой доклада Э. Тыугу.
  • Список В.А. Матулис 18.01.1980
    членов Программного комитета конференции.
  • Письмо С. Лавингтон -> А.П. Ершов 18.01.1980
    с просьбой ускорить присылку докладов для публикации.
  • Статья Э.Х. Тыугу 21.01.1980
    "Структурный синтез программ".
  • Письмо А.П. Ершов -> Р. Берсталл 25.01.1980
    Благодарит за содержательные замечания к докладу Э.Х. Тыугу для Конгресса ИФИП-80.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 30.01.1980
    Автор обсуждает критические замечания по своему докладу.
  • Письмо А.П. Ершов -> С. Лавингтон 01.02.1980
    о задержках с рецензированием докладов.
  • Распоряжение -> А.П. Ершов 28.02.1980
    по Научному совету по комплексной проблеме "Кибернетика" АН СССР об утверждении состава Организационного комитета конференции.
  • Заметки А.П. Ершов 19.03.1980
    сделанные по ходу работы семинара, проводимого лабораторией А.С. Нариньяни, посвященного итогам и перспективам проекта "Диалог" (взаимодействие с ЭВМ на естественном языке).
  • Программа 06.05.1980
    всесоюзной конференции "Методы мат. логики..."
  • Телеграмма Э.Х. Тыугу -> А.П. Ершов 07.05.1980
    "Прошу сообщить возможность быть членом советской делегации Конгресса."
  • Список -> А.П. Ершов 29.05.1980
    членов программного комитета конференции.
  • Письмо с приложениями А.П. Ершов -> А.А. Дородницын 27.07.1980
    Сопроводительное письмо к двум документам (и сами эти документы): 1) копия письма вице-председателя австралийского оргкомитета Конгресса по поводу привлечения на Конгресс большего числа участников; 2) копия письма из японского секретариата Конгресса членам Программного комитета и приглашенным докладчикам относительно их регистрации.
  • Сопроводительное письмо А.П. Ершов -> А.А. Дородницын 27.07.1980
    к двум документам, относящимся к Конгрессу ИФИП-80: 1) копии письма вице-председателя австралийского оргкомитета Конгресса по поводу привлечения на Конгресс большего числа участников; 2) копии письма из японского секретариата Конгресса членам Программного комитета и приглашенным докладчикам относительно их регистрации. /Текст рукописный./
  • План В.А. Матулис 03.09.1980
    размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
  • План А.П. Ершов 03.09.1980
    выступлений на открытии конференции. /Текст рукописный./
  • Черновик доклада Э.Х. Тыугу 06.10.1980
    Э. Тыугу на Конгрессе.
  • Отчет Э.Х. Тыугу 25.12.1980
    о командировке во Францию в IV квартале 1980 года.
  • Информационное письмо А.А. Стогний -> А.П. Ершов 09.01.1981
    Время, место проведения и повестка дня заседания Рабочей группы по технологии программирования.
  • Письмо М. Нива -> А.П. Ершов 13.01.1981
    Сообщает, что получил статью о смешанных вычислениях и что она скоро будет опубликована в журнале Theoretical Computer Science. Поздравляет с Новым годом и спрашивает, нет ли возможности организовать что-то для возобновления франко-советского сотрудничества в области программирования. /Текст рукописный./
  • Письмо А.Х. Вырк -> А.П. Ершов 25.05.1981
    Дано разрешение на публикацию доклада Э.Х. Тыугу "Структурный синтез программ" в английском и русском изданиях трудов Ургенчского симпозиума "Алгоритм в современной математике и ее приложениях".
  • Приказ В.П. Елютин 09.07.1981
    "О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
  • Список Г.С. Поспелов 16.12.1981
    членов Научного совета "Искусственный интеллект".
  • Письмо Г.Е. Минц -> А.П. Ершов 17.09.1982
    Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
  • Сообщение А.О. Вооглайд 15.10.1982
    о предварительной тематике конференции "Автоматизация производства пакетов прикладных программ и трансляторов" и о предварительном составе программного комитета.
  • Письмо Э.Х. Тыугу -> А.П. Ершов 25.10.1982
    Автор не смог приехать на заседание КоСМО - ждал выезда в Бельгию. Отзыв на рукопись Г.А. Звенигородского сделал. Начата подготовка конференции по СПТ в Таллине. Автор рассчитывает на поддержку и участие в роли председателя программного комитета со стороны адресата.

Страницы

Назад