Архив
ИФИП
Конференция "Спецификация и преобразование программ"
Записка
с адресом Г.Парча, ученого секретаря Рабочей конференции ИФИП
Письмо, 08.05.1984
председателя РГ2.1 участникам предстоящего 33-го заседания РГ (Понт-а-Муссон), касающееся следующих вопросов: 1) итоги 32-го заседания (о. Каталина); 2) подготовка Конференции по спецификации и преобразованию программ; 3) информация для приезжающих на заседание; 4) подбор новых наблюдателей РГ; 5) содержание предстоящих дискуссий.
Письмо, Р. Б. К. Дюар->А.П. Ершов, 04.02.1985
с предложением войти в состав программного комитета Рабочей конференции ИФИП.
Письмо, 05.02.1985
Информационное письмо члену РГ 2.1 и список приглашенных на Рабочую конференцию ИФИП для уточнения и редактирования.
Письмо, Р. Б. К. Дюар->А.П. Ершов, 18.03.1985
Просит ознакомиться с предварительным списком приглашенных на Рабочую конференцию ИФИП и высказать свои предложения.
Письмо, 03.06.1985
с информацией для участников Рабочей конференции ИФИП.
Письмо, А.П. Ершов->Ф. Л. Бауэр, 15.08.1985
Делится проблемами со своим здоровьем и просит в связи с этим помочь договориться с организаторами Рабочей конференции ИФИП о месячной задержке полного текста своего доклада. Андрей Петрович не сможет приехать на встречу членов программного комитета, но готов принять участие в реферировании докладов.
Письмо и черновик ответа, 16.09.1985-12.10.1985
В своем письме председатель ТК2 Р. Мейсон выражает сожаление по поводу болезни А.П. Ершова. Рукописный черновик ответа содержит благодарность за сочувствие и надежду на участие в мюнхенской рабочей конференции 1986 г.
Письмо, А.П. Ершов->Э. Хоар, 19.09.1985
А.П.Ершов извиняется за задержку с письмом. Это произошло из-за болезни и работы над учебниками по информатике для школы. Сообщает о состоявшемся и планируемом переводе трудов Хоара.
Рукопись доклада, 08.10.1985-14.10.1985
"Controllable Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers" на Рабочей конференции ИФИП, подготовленного к печати на английском языке.
Письмо, 15.10.1985
Информация для желающих представить свой доклад на Рабочую конференцию ИФИП.
Письмо, Г. Парч->А.П. Ершов, 15.10.1985
Информация для А.П.Ершова как члена программного комитета Рабочей конференции ИФИП. Приложен список поступивших докладов и временная таблица для проведения их реферирования.
Рецензия, 01.11.1985
на работу Р.Бергхаммера "Об использовании композиции в трансформационном программировании".
Черновик телеграммы, А.П. Ершов->Г. Парч, 01.11.1985
Просьба рассмотреть на заседании редакционного комитета перечисленные заявки.
Мнение рецензента, 05.11.1985
о работе Бергхаммера и Брюйнога на специальном бланке.
Обоснование, 25.11.1985
целесообразности командировки А.П.Ершова и В.К.Сабельфельда в ФРГ.
Открытка, Ф. Л. Бауэр->А.П. Ершов, 16.12.1985
Поздравления и пожелания здоровья.
Письмо, Г. Парч->А.П. Ершов, 16.12.1985
о включении доклада А.П.Ершова и Б.Н.Островского в программу конференции; просьба прислать его в готовом для печати виде.
Письмо, 06.01.1986
Информационное письмо участникам Рабочей конференции ИФИП.
Рукопись, 14.01.1986-15.01.1986
Уточнение редукций.

1 2 3 4
По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016