Архив
ИФИП
Третья рабочая конференция "Формальное описание концепций программирования"
Письмо-напоминание с приложениями, 01.06.1986(?)
Сопроводительное письмо к материалам по рабочей конференции "Формальное описание концепций программирования" (Гл. Авернес, Дания) и некоторые из этих материалов: 1) приглашение на конференцию; 2,3) бланки регистрации; 4) информация о непосредственно следующем за конференцией заседании РГ2.2 в том же Гл. Авернесе.
Письмо с приложениями, 31.01.1986
Письмо членам ТК2 с приглашением на заседание РГ2.2 (Гл. Авернес, Дания, 29-30.08.1986) непосредственно после Рабочей конференции по формальному описеннию концепций программирования. К письму приложены список приглашаемых наблюдателей, информация о целях и области деятельности Рабочей группы, а также бланк заявки на участие.
Письмо с приложениями, Э. Нейхолд->Р. Е. А. Мейсон, 08.09.1986
Отчет о деятельности РГ2.2 в конце августа 1986 г. Приложены данные о предлагаемых новых членах РГ и протоколы административной и технической сессий заседания РГ (Дания, 27-30.08.1986). (Док. "Сен-Пьер-15".)

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

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