Архив
ИФИП
Конференция "Спецификация и преобразование программ"
Записка
с адресом Г.Парча, ученого секретаря Рабочей конференции ИФИП
Письмо, А.П. Ершов->Э. Хоар, 19.09.1985
А.П.Ершов извиняется за задержку с письмом. Это произошло из-за болезни и работы над учебниками по информатике для школы. Сообщает о состоявшемся и планируемом переводе трудов Хоара.
Письмо, 08.05.1984
председателя РГ2.1 участникам предстоящего 33-го заседания РГ (Понт-а-Муссон), касающееся следующих вопросов: 1) итоги 32-го заседания (о. Каталина); 2) подготовка Конференции по спецификации и преобразованию программ; 3) информация для приезжающих на заседание; 4) подбор новых наблюдателей РГ; 5) содержание предстоящих дискуссий.
Телеграмма, Ф. Л. Бауэр->А.П. Ершов, 11.04.1986
с предложением, где остановиться на ночь с воскресенья на понедельник.
Письмо, А.П. Ершов->Ф. Л. Бауэр, 31.03.1986
о предстоящей поездке в Мюнхен.
Письмо, Г. Парч->А.П. Ершов, 18.02.1986
Сообщение о конференции ИФИП. Прилагается программа конференции.
Письмо, Г. Парч->А.П. Ершов, 18.02.1986
Предлагает ему быть председателем одного из заседаний конференции; надеется на согласие с его стороны.
Черновик телеграммы, А.П. Ершов->Г. Парч..., 18.02.1986
о времени высылки статей.
Письмо, 15.02.1986
Инструкция и форма для авторов книги с Трудами Рабочей конференции.
Письмо, 06.01.1986
Информационное письмо участникам Рабочей конференции ИФИП.
Открытка, Ф. Л. Бауэр->А.П. Ершов, 16.12.1985
Поздравления и пожелания здоровья.
Письмо, Г. Парч->А.П. Ершов, 16.12.1985
о включении доклада А.П.Ершова и Б.Н.Островского в программу конференции; просьба прислать его в готовом для печати виде.
Мнение рецензента, 05.11.1985
о работе Бергхаммера и Брюйнога на специальном бланке.
Рецензия, 01.11.1985
на работу Р.Бергхаммера "Об использовании композиции в трансформационном программировании".
Черновик телеграммы, А.П. Ершов->Г. Парч, 01.11.1985
Просьба рассмотреть на заседании редакционного комитета перечисленные заявки.
Письмо, 15.10.1985
Информация для желающих представить свой доклад на Рабочую конференцию ИФИП.
Письмо, Г. Парч->А.П. Ершов, 15.10.1985
Информация для А.П.Ершова как члена программного комитета Рабочей конференции ИФИП. Приложен список поступивших докладов и временная таблица для проведения их реферирования.
Письмо, А.П. Ершов->Ф. Л. Бауэр, 15.08.1985
Делится проблемами со своим здоровьем и просит в связи с этим помочь договориться с организаторами Рабочей конференции ИФИП о месячной задержке полного текста своего доклада. Андрей Петрович не сможет приехать на встречу членов программного комитета, но готов принять участие в реферировании докладов.
Письмо, 03.06.1985
с информацией для участников Рабочей конференции ИФИП.
Письмо, Р. Б. К. Дюар->А.П. Ершов, 18.03.1985
Просит ознакомиться с предварительным списком приглашенных на Рабочую конференцию ИФИП и высказать свои предложения.

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

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