|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Джек Боннелл Деннис Циркуляр № 1, 06.02.1972 Информационное письмо о симпозиуме по теоретическому программированию (07-11.08.1972) - расписание работы; проблемы для обсуждений; о публикации Трудов; о финансовых условиях участия; список приглашаемых иностранных ученых.
Аннотации статей, 01.06.1973(?)с cимпозиума по теоретическому программированию в журнале "BIT" (No. 6, 1973) на японском языке: Я.М. Барздиня, Дж. Шварца, М. Патерсона, Дж. Денниса, Р. Миллера, Г.С. Цейтина, Дж. Морриса и др.
Письмо, Е. Вада->А.П. Ершов, 14.05.1982с приглашением выступить с докладом на панельной дискуссии по предложенным темам.
Письмо с приложением, 11.07.1976Сопроводительное письмо к списку предполагаемых участников рабочей конференции и сам этот список.
Письмо, 13.12.1976Следующее заседание ТК2 переносится с января на август 1977 года и состоится в Сент-Эндрюсе (Канада).
Письмо, А.П. Ершов->Дж. Б. Деннис, 09.08.1976с предложениями по списку участников конференции и по её программе.
Письмо, Дж. Б. Деннис->А.П. Ершов, 31.01.1972Сообщает, что с нетерпением ждет статью В.Е. Котова и А.С. Нариньяни по параллельному программированию. Касается вопроса об оплате перевода этой статьи.
Аннотации статей, 01.05.1973(?)с cимпозиума по теоретическому программированию в журнале "BIT" (No. 5, 1973) на японском языке: Дж. Маккарти, А.А. Ляпунова, Э. Хоара, Дж. Денниса, Н. Вирта и др.
Отчет, 10.09.1972о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
Письмо с приложением, Дж. Б. Деннис->А.П. Ершов, 29.09.1976Рассказывается о подготовке конференции. Приложен обновленный список приглашаемых.
Письмо, А.П. Ершов->Дж. Б. Деннис, 22.01.1987Благодарит за поздравительное письмо и рассказывает о прошедших событиях. /Текст рукописный./
Письмо, Дж. Б. Деннис->А.П. Ершов, 25.10.1976с приглашением участвовать в работе конференции.
Расписание, Э. Фредкин->А.П. Ершов, 24.05.1972посещения проекта MAC.
Письмо, 03.09.1976черновик оповещения о Рабочей конференции ТК-2 "Формальное описание концепций программирования", которая состоится 1-5 августа 1977г. (Пункт 7.2.2 Протокола 21-ого заседания ТК-2)
Информация, 26.08.19761)Предполагаемый бюджет конференции ТК-2 "Формальное описание концепций программирования". 2)Список участников конференции. (Пункт 7.2.2 Протокола 21-ого заседания ТК-2)
Письмо, Дж. Б. Деннис->А.П. Ершов, 22.01.1987Автор подробно описывает события, произошедшие у родственников Деннисов в 1986 году - у брата жены и у ее сестры. Сообщает, что его смышленному и озорному сынишке уже два с половиной года. Пишет о своем брате и своей матери, о работе жены и своей собственной.
Письмо, Дж. Б. Деннис->А.П. Ершов, 05.01.1977Предлагается провести заседание программного комитета конференции 16 марта 1977 г. в Амстердаме. Обсуждаются дополнительно состав конференции и тематика докладов.
Сопроводительное письмо, 24.01.1977к первой порции докладов на конференцию и к их перечислению с указанием имен членов Программного комитета, назначенных для рецензирования соответствующих докладов.
Выписка, 01.10.1972из протокола о научно-техническом сотрудничестве СССР и США по проблеме "Применение ЭВМ в управлении". Определяется Тема 5.
Сопроводительное письмо, А.П. Ершов->Дж. Б. Деннис, 02.02.1977к расширенным тезисам доклада автора письма на конференцию по формальному описанию концепций программирования (01-05.08.1977, Сан-Андре, Канада).
1 2 3 4 5 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
