Документы, связанные с Морис Нива

  • Письмо А.С. Алексеев -> Ж. Лион
    с информацией о подготовке в СССР в Таллине очередного советско-французского семинара по теме VII и X проблемы "Информатика".
  • Предложения А.П. Ершов
    ВЦ СО АН СССР по научно-техническому сотрудничеству с Францией по подтеме I темы VII "Теория программирования" на 1986-1987 гг. /Текст, помимо "шапки", рукописный./
  • Предложения А.П. Ершов
    ВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.
  • Список
    участников симпозиума по теоретическому программированию (46 фамилий с краткой справочной информацией).
  • Письмо А.П. Ершов -> М. Вуджер 23.09.1964
    Очень огорчен тем, что не состоялась поездка в Баден, но надеется все-таки, что это не повлияет на возможность участия в Конгрессе ИФИП. высказывает свои соображения по организационным вопросам.
  • Письмо М. Вуджер -> А.П. Ершов 08.10.1964
    Сожалеет, что адресат не смог приехать в Баден. Рассказывает о заседании Рабочей группы, о проходившей там дискуссии. Обсуждает проблему приглашенных докладчиков на Конгресс ИФИП-65. Благодарит за статью "One View of Man-Machine Interaction".
  • Письмо с приложением М. Вуджер -> А.П. Ершов 25.01.1965
    Сообщает о замене двух докладчиков и о переписке с ними; посылает копии своих писем М. Нива и П. Лэндину, в которых рассказывает о времени и месте проведения Симпозиума и о требованиях к докладам.
  • Программа 26.05.1965
    заседания секции по формальным аспектам языков программирования.
  • Программа Г.И. Марчук 21.06.1965
    работы зав. отделом ВЦ СО АН СССР А.П. Ершова во Франции.
  • Письмо А.П. Ершов -> Ф. Женюи 03.11.1965
    С сожалением сообщает, что не сможет принять приглашение адресата приехать в Париж, так как отменена вся поездка на сессию ИФИП. Надеется, что все-таки когда-нибудь удастся осуществить давнишнюю мечту - побывать во Франции.
  • Письмо М. Нива -> А.П. Ершов 23.02.1966
    Посылает изданную во Франции книгу по АЛГОЛу. Надеется приехать в Москву на Математический конгресс. /Текст рукописный./
  • Копия письма Л. Болье -> В. ван дер Пул 29.03.1966
    которую А.П. Ершов получил как член Рабочей группы по АЛГОЛу. Автор от своего имени и от имени еще нескольких французских членов Рабочей группы высказывает сожаление по поводу отмены Варшавской встречи. Сообщает информацию о своих предпочтениях при выборе новой даты заседания.
  • Реферат А.П. Ершов 30.07.1966
    для журнала "Computing Reviews" на статью доктора М. Нива.
  • Письмо М. Нива -> А.П. Ершов 20.10.1967
    Рассказывает о перезде на новое место жительства; посылает тезисы своего доклада на предстоящий Конгресс ИФИП и просит их прокомментировать; просит также прислать статьи, выполненные в институте адресата, по схожей тематике. /Текст рукописный./
  • Письмо М. Нива -> Членам ИФИП/РГ 2.1 15.02.1968
    Авторы поддерживают предложение группы А. ван Вейнгаардена о небольшой промежуточной конференции для обсуждения АЛГОЛа 68.
  • Письмо М. Паул -> Г. Боулден 22.06.1971
    Автор сообщает адресату, что получил его телеграмму, из которой видно, что делается все возможное, чтобы спасти новосибирское заседание ИФИП/РГ2.1; но он все же начал подыскивать альтернативный вариант.
  • Приглашение М. Нива -> А.П. Ершов 23.12.1971
    на симпозиум по теории автоматов.
  • Постановление М.А. Лаврентьев 07.01.1972
    Президиума СО АН СССР "О проведении Симпозиума по теории программирования" (7-11 августа 1972 г., Новосибирский Академгородок) и Приложения № 1 (Программа), № 2 (список ученых из соц. стран) и № 3 (список ученых из кап. стран) к нему.
  • Циркуляр № 1 А.П. Ершов 06.02.1972
    Информационное письмо о симпозиуме по теоретическому программированию (07-11.08.1972) - расписание работы; проблемы для обсуждений; о публикации Трудов; о финансовых условиях участия; список приглашаемых иностранных ученых.
  • Письмо и анкета 02.06.1972
    2-е оповещение о международном симпозиуме и летней школе "Математические основания информатики", которые состоятся 21-27.08.1972 в Варшаве. Перечислены темы для обсуждения и приглашенные докладчики, определен регистрационный взнос, указана стоимость проживания в гостиницах и проч. Приложена анкета для заполнения.
  • Письмо М. Нива -> А.П. Ершов 24.11.1972
    В течение месяца вышлет свой доклад, переведенный на английский язык, для опубликования в Трудах симпозиума по теоретическому программированию. Сообщает о возможности сотрудничества в этой области. Сердечно приглашает посетить ИРИА во время предполагаемого визита адресата во Францию. /Текст рукописный./
  • Письмо В. Брауэр -> А.П. Ершов 14.02.1973
    Сообщает дополнительную информацию и еще раз приглашает адресата принять участие в ежегодном симпозиуме Немецкого общества программистов.
  • Письмо М. Нива -> А.П. Ершов 17.05.1973
    Обсуждаются вопросы работы в редакции журнала "Theoretical Computer Science".
  • Письмо с приложением М. Нива -> А.П. Ершов 11.10.1973
    Напоминает о разговоре, когда адресат дал согласие работать в редакции нового журнала "Theoretical Computer Science", главным редактором которого будет автор. Просит подтвердить согласие и высказать мнение по поводу основных целей журнала, изложенных в приложенном черновике. Приложен также список предполагаемых членов редакции.
  • Письмо М. Нива -> А.П. Ершов 10.11.1973
    Автор рад, что адресат согласился участвовать в работе редакции журнала "Theoretical Computer Science". Приглашает его приехать во Францию в 1974 году. /Текст рукописный./
  • Письмо М. Нива -> А.П. Ершов 03.01.1974
    Информирует коллег о новом журнале "Theoretical Computer Science".
  • Письмо (рукописное) М. Нива -> А.П. Ершов 25.03.1974
    Автор рассказывает о недавно созданном журнале Theoretical Computer Science и надеется получить от А.П.Ершова статьи из СССР, а его самого хочет видеть членом редколлегии. Кроме того, он узнал о планируемом визите А.П.Ершова во Францию и предлагает всяческую поддержку в организации визита.
  • Письмо М. Нива -> А.П. Ершов 22.05.1974
    Благодарит за письмо и сообщает, что он лично и все его коллеги поддерживают предложение адресата о сотрудничестве. Задает несколько вопросов в связи с приглашением адресата во Францию. /Текст рукописный./
  • Письмо М. Нива -> А.П. Ершов 27.06.1974
    Напоминанает о крайнем сроке приема статей в 1-й выпуск журнала "Theoretical Computer Science". Информирует о cкором выходе рекламного проспекта об этом журнале.
  • Письмо (рукописное) М. Нива -> А.П. Ершов 30.01.1975
    Автор рад узнать о планируемой поездке Ершова во Францию. Обещает в ближайщее время выслать офоциальное приглашение в ИРИА. Надеется услышать доклад о работах в Новосибирске и планирует обсудить вопросы, касающиеся журнала TCS.
  • Письмо Ж. Лион -> А.П. Ершов 04.02.1975
    Официальное приглашение А.П.Ершову посетить ИРИА в течение двух недель и более.
  • Письмо М. Нива -> А.П. Ершов 15.05.1975
    Сообщает последние новости издания журнала "Theoretical Computer Science".
  • Письмо М. Нива -> А.П. Ершов 23.08.1975
    Благодарит за присланную статью М.А. Трахтенброта. Объясняет полномочия адресата в качестве одного из редакторов журнала "Theoretical Computer Science". Просит уточнить дату его приезда во Францию. /Текст рукописный./
  • Письмо А.П. Ершов -> Ф. Женюи 20.10.1975
    Сообщает о запланированной поездке во Францию и о своем желании воспользоваться этой оказией, чтобы повидаться с адресатом и посетить его компанию.
  • Письмо А.П. Ершов -> Б. Мейер 22.10.1975
    Сообщает о запланированной поездке во Францию, просит о встрече с адресатом.
  • Письмо Ф. Дрейфус -> А.П. Ершов 06.11.1975
    Автор очень рад предстоящей поездке А.П. Ершова во Францию и предлагает программу пребывания в их компании вместе с доктором Нива.
  • Письмо с приложением М. Нива -> А.П. Ершов 29.11.1975
    Автор сожалеет о проблемах с визой и делает все возможное, чтобы помочь. Сообщщает о своем жестком расписании на конец ноября, которое позволяет встретиться только 27 ноября или только через неделю. Надеется на встречу. Посылает копию письма ко всем членам редакции TCS.
  • Рабочие записи А.П. Ершов 01.12.1975
    сделанные во время встреч с группой М.Нивы.
  • Письмо М. Нива -> А.П. Ершов 24.01.1976
    о симпозиуме в Новосибирске, запланированном на май. Автор сообщает темы своих докладов, а также интересуется возможностью посетить Самарканд, Бухару и Ташкент после симпозиума. /Текст рукописный./
  • Письмо М. Нива -> А.П. Ершов 03.03.1976
    Жалуется, что причиной столь долгой задержки с выпуском журнала "Theoretical Computer Science" был плохой принтер. Теперь все в порядке.
  • Постановление Г.И. Марчук 30.03.1976
    Президиума СО АН СССР "О проведении советско-французского симпозиума по теме VII" (10 - 15 мая 1976 года; Новосибирский Академгородок) и Приложения № 1 и № 2 к нему.
  • Рабочие записи А.П. Ершов 22.05.1976
    сделанные на какой-то дискуссии.
  • Рабочие записи А.П. Ершов 25.05.1976
    во время встречи с французами.
  • Письмо М. Нива -> А.П. Ершов 13.11.1976
    Автор описывает ситуацию с журналом, как он ее видит.
  • Письмо М. Нива -> А.П. Ершов 30.01.1978
    Автор сообщает новости о работе редакции журнала "Theoretical Computer Science".
  • Письмо А.П. Ершов -> Д. Бьорнер 13.04.1978
    Обмен мнениями по проблеме смешанных вычислений; автор планирует визит в Данию в будущем году; будет рад, если адресат сможет побывать в Новосибирске во время поездки из Токио в Копенгаген.

Страницы

Назад