Документы, связанные с Джек Боннелл Деннис

  • Письмо А.С. Алексеев
    Ходатайство перед Президиумом СО АН о включении в план зарубежных научно-технических связей научной командировки А.П. Ершова в ФРГ на 2 недели в июле-августе 1984 г. в качестве лектора и участника. Обоснование прилагается.
  • Аннотация Д. Деннис
    к докладу "Programming Generality, Parallelism and Computer Architecture". Автор - J.B. Dennis.
  • Письмо с приложением Д. Деннис -> А.П. Ершов 13.03.1967
    Рассказывает о планируемом на октябрь этого года симпозиуме по операционным системам. Приглашает адресата и других ученых из СССР участвовать в нем. Приложен список предлагаемых тем.
  • Сопроводительное письмо А.П. Ершов -> Л.Н. Королев 25.03.1967
    к письму проф. Дж.Б. Денниса.
  • Сопроводительное письмо А.П. Ершов -> В.С. Штаркман 25.03.1967
    к письму проф. Дж.Б. Денниса.
  • Письмо А.П. Ершов -> Д. Форсайт 29.03.1967
    Сообщает об официальном включении своей поездки в США, сроком не более двух месяцев, в план научных связей Академии наук на вторую половину 1967 года. Предлагает варианты программы и просит назначить ее координатором профессора Э. Фейгенбаума.
  • Письмо Д. Деннис -> А.П. Ершов 11.06.1971
    Автор сообщает, что послал микрофиши с материалами, которыми интересовался адресат; отдельно отправлен отчет о конференции по проекту МАК.
  • Письмо Д. Деннис -> А.П. Ершов 07.09.1971
    Речь идет о проблеме перевода на английский язык некой статьи из области параллельного программирования.
  • Письмо Д. Деннис -> А.П. Ершов 27.10.1971
    Автор поддерживает идею проведения международной встречи по теории программ и готов содействовать ее реализации.
  • Письмо А.П. Ершов -> Р. Флойд 03.12.1971
    о предложении, сделанном адресату, войти в программный комитет симпозиума, который пройдет в Новосибирске.
  • Постановление М.А. Лаврентьев 07.01.1972
    Президиума СО АН СССР "О проведении Симпозиума по теории программирования" (7-11 августа 1972 г., Новосибирский Академгородок) и Приложения № 1 (Программа), № 2 (список ученых из соц. стран) и № 3 (список ученых из кап. стран) к нему.
  • Письмо Д. Деннис -> А.П. Ершов 31.01.1972
    Сообщает, что с нетерпением ждет статью В.Е. Котова и А.С. Нариньяни по параллельному программированию. Касается вопроса об оплате перевода этой статьи.
  • Циркуляр № 1 А.П. Ершов 06.02.1972
    Информационное письмо о симпозиуме по теоретическому программированию (07-11.08.1972) - расписание работы; проблемы для обсуждений; о публикации Трудов; о финансовых условиях участия; список приглашаемых иностранных ученых.
  • Оригинал и перевод Э. Фредкин -> А.П. Ершов 29.03.1972
    Приглашает посетить лабораторию Проекта МАК. Просит дать знать, какие числа удобны. Перечисляет фамилии ученых, которые выразили большой интерес к возможному общению с адресатом. Перевод сделан с английского языка на русский.
  • Расписание Э. Фредкин -> А.П. Ершов 24.05.1972
    посещения проекта MAC.
  • Телеграмма А.П. Ершов -> А.С. Нариньяни 26.07.1972
    Просьба к адресату задержаться и встретить в Москве Дж.Б. Денниса и Дж. Маккарти.
  • Телеграмма А.П. Ершов -> Ю.В. Капитонова 31.07.1972
    о прилете Дж.Б. Денниса; просьба позаботиться о культурной и научной программах.
  • Телеграмма А.П. Ершов -> Бойченко 03.08.1972
    просьба сообщить время пребытия в Новосибирск Дж.Б. Денниса.
  • Письмо Д. Деннис -> А.П. Ершов 16.08.1972
    Вернулся домой без дальнейших приключений! Сообщает, что хотел бы успеть до печати Трудов симпозиума по теоретическому программированию внести в текст своего доклада некоторые изменения.
  • Отчет А.П. Ершов 10.09.1972
    о симпозиуме по теории программирования, проходившем в Новосибирске с 7 по 11 агуста 1972 года.
  • Выписка 01.10.1972
    из протокола о научно-техническом сотрудничестве СССР и США по проблеме "Применение ЭВМ в управлении". Определяется Тема 5.
  • Отчет А.П. Ершов 25.10.1972
    о поездке в США.
  • Письмо А.П. Ершов -> Д. Тоу 16.11.1972
    Статья В.Е. Котова и А.С. Нариньяни "Theory of Parallel Programming" для "Advances in Information Systems Science" отправлена.
  • Письмо Д. Тоу -> А.П. Ершов 06.02.1973
    Благодарит за письмо и статью В. Котова и А. Нариньяни. Сообщает о передаче ее для перевода на английский язык и последующего реферирования. Извиняется за поздний ответ из-за аварии, в которую автор попал в ноябре прошлого года.
  • Аннотации статей 01.05.1973
    с cимпозиума по теоретическому программированию в журнале "BIT" (No. 5, 1973) на японском языке: Дж. Маккарти, А.А. Ляпунова, Э. Хоара, Дж. Денниса, Н. Вирта и др.
  • Аннотации статей 01.06.1973
    с cимпозиума по теоретическому программированию в журнале "BIT" (No. 6, 1973) на японском языке: Я.М. Барздиня, Дж. Шварца, М. Патерсона, Дж. Денниса, Р. Миллера, Г.С. Цейтина, Дж. Морриса и др.
  • Техническое соглашение Д. Деннис 29.08.1973
    "Разработка и реализация языка программирования весьма высокого уровня, допускающего компактную и проверяемую формулировку сложных процедур".
  • Техническое соглашение Д. Деннис 01.09.1973
    "Разработка и реализация языка программирования весьма высокого уровня, допускающего компактную и проверяемую формулировку сложных процедур". /Рукописный и машинописный варианты; на русском языке./
  • Письмо Д. Деннис -> А.П. Ершов 12.03.1974
    Предлагает обсудить проблемы сотрудничества на симпозиуме в Париже, если адресат или кто-то из его коллег будет там. Посылает интересные публикации.
  • Письмо А.П. Ершов -> Р.Н. Абайдуллин 03.04.1974
    Информация о научных центрах США, которые автор рекомендует адресату для прохождения стажировки.
  • Письмо А.П. Ершов -> М. Фишер 24.04.1974
    Благодарит за письмо от 28 марта и посылает Труды Новосибирского симпозиума. Рассказывает об обещании профессора Б.А. Трахтенброта подобрать для адресата последние статьи по сложности алгоритмов.
  • Письмо В.Е. Котов -> А.П. Ершов 06.06.1974
    Пишет о переезде в Бостон. Вспоминает о выступлениях на семинаре в Нью-Йорке и о посещении Йорктаун-Хейтса. Передает предложения Дж. Шварца, которые позволили бы избежать дублирования работ по реализации языка СЕТЛ на БЭСМ. Просит адресата включить свой доклад в программу симпозиума, который пройдет в Кишиневе. /Текст рукописный./
  • Письмо А.П. Ершов -> В.Е. Котов 22.07.1974
    Благодарит за письмо от 6 июня. Рассказывает о событиях в отделе и о планируемом симпозиуме в Кишиневе. Одобряет все действия адресата в США.
  • Письмо А.П. Ершов -> Д. Ауфенкамп 28.11.1974
    Обсуждаются вопросы советско-американского сотрудничества по теоретическим вопросам программного обеспечения. Автор надеется, что общая формула договоренности позволит в ближайшее время установить формальные рамки общих проектов. Высказывает свои замечания и предложения по проблеме взаимодействия с ЭВМ на естественном языке.
  • Письмо с приложением Д. Деннис -> А.П. Ершов 16.04.1976
    Автор информирует о предстоящей Рабочей конференции по формальному описанию программных концепций, проводимой в рамках Конгресса ИФИП-77 в Торонто. Приглашает адресата стать членом программного комитета. Прилагает проект информационного оповещения.
  • Письмо Д. Деннис -> А.П. Ершов 30.04.1976
    о том, насколько важно участие адресата в работе программного комитета Рабочей конференции.
  • Письмо с приложением Д. Деннис 11.07.1976
    Сопроводительное письмо к списку предполагаемых участников рабочей конференции и сам этот список.
  • Карточка Д. Деннис -> А.П. Ершов 11.07.1976
    Просьба уточнить адрес К. Чулика.
  • Письмо Д. Деннис 03.09.1976
    черновик оповещения о Рабочей конференции ТК-2 "Формальное описание концепций программирования", которая состоится 1-5 августа 1977г. (Пункт 7.2.2 Протокола 21-ого заседания ТК-2)
  • Письмо Д. Галлитано 13.12.1976
    Следующее заседание ТК2 переносится с января на август 1977 года и состоится в Сент-Эндрюсе (Канада).
  • Письмо Д. Деннис -> А.П. Ершов 05.01.1977
    Предлагается провести заседание программного комитета конференции 16 марта 1977 г. в Амстердаме. Обсуждаются дополнительно состав конференции и тематика докладов.
  • Письмо с приложением Д. Деннис 15.02.1977
    Сопроводительное письмо к третьей порции докладов на конференцию и к их перечислению с указанием имен членов Программного комитета, назначенных для рецензирования соответствующих докладов, а также само это перечисление.

Страницы

Назад