Архив
ИФИП
Первая рабочая конференция "Формальное описание концепций программирования"
Письмо с приложением, 11.07.1976
Сопроводительное письмо к списку предполагаемых участников рабочей конференции и сам этот список.
Письмо, А.П. Ершов->Дж. Б. Деннис, 09.08.1976
с предложениями по списку участников конференции и по её программе.
Письмо с приложением, Дж. Б. Деннис->А.П. Ершов, 29.09.1976
Рассказывается о подготовке конференции. Приложен обновленный список приглашаемых.
Письмо, Дж. Б. Деннис->А.П. Ершов, 25.10.1976
с приглашением участвовать в работе конференции.
Письмо, 03.09.1976
черновик оповещения о Рабочей конференции ТК-2 "Формальное описание концепций программирования", которая состоится 1-5 августа 1977г. (Пункт 7.2.2 Протокола 21-ого заседания ТК-2)
Записка, 01.08.1977(?)
с просьбой объявить о выступлении В. де Рувера. (Скорее всего, на конференции "Формальное описание концепций программирования", но не исключено, что на заседании ТК-2.)
Информация, 26.08.1976
1)Предполагаемый бюджет конференции ТК-2 "Формальное описание концепций программирования". 2)Список участников конференции. (Пункт 7.2.2 Протокола 21-ого заседания ТК-2)
Краткий отчет, 22.12.1977-29.12.1977
о поездке в Канаду. Рукописный и машинописный тексты.
Письмо, Дж. Б. Деннис->А.П. Ершов, 05.01.1977
Предлагается провести заседание программного комитета конференции 16 марта 1977 г. в Амстердаме. Обсуждаются дополнительно состав конференции и тематика докладов.
Письмо с приложением, 26.01.1977
Сопроводительное письмо к копии аннотации доклада "Functional Grammars", представленного на конференцию, и сама эта копия (вместе с приложением к докладу).
Справка, 29.12.1977
об эффективности научной командировки в Канаду А.П.Ершова.
Сопроводительное письмо, 24.01.1977
к первой порции докладов на конференцию и к их перечислению с указанием имен членов Программного комитета, назначенных для рецензирования соответствующих докладов.
Список с пометками, 28.01.1977
приглашаемых участников конференции.
Предварительный список, 28.01.1977(?)
докладов на конференции.
Список, 15.02.1977
Перечисление развернутых аннотаций докладов (вторая порция) с указанием имен членов Программного комитета, назначенных для рецензирования этих докладов.
Письмо, Р. М. Келлер->Дж. Б. Деннис, 07.02.1977
с дополнением к развернутой аннотации представленного автором доклада.
Письмо с приложением, 15.02.1977
Сопроводительное письмо к третьей порции докладов на конференцию и к их перечислению с указанием имен членов Программного комитета, назначенных для рецензирования соответствующих докладов, а также само это перечисление.
Сопроводительное письмо, Роберт Милн->Дж. Б. Деннис, 09.02.1977
к заметкам по содержанию представляемого автором доклада. Автор с извинениями просит рассматривать их как аннотацию доклада, несмотря на их несоответствие правилам и на позднюю отсылку.
Письмо с приложением, Дж. Б. Деннис->А.П. Ершов, 18.02.1977
Рассматривается участие членов Программного комитета конференции на предстоящем заседании комитета. В приложении - анкетка для предварительной оценки адресатом представленных на конференцию докладов.
Письмо, Л. Лукашевич->М. Паул, 20.02.1977
Автор рассматривает вопросы, относящиеся к представлению членами Технического комитета - 2 своих докладов на конференцию "Формальное описание концепций программирования", месту и времени следующего заседания ТК-2, а также критическому отношению к некоторым мероприятиям ИФИП со стороны представителей недостаточно богатых стран.

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

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