Перейти к основному содержанию
  • документы
  • об архиве
  • о проекте
  • А.П. Ершов
  • in English

Документы, связанные с Мэнни М. Леман

  • Письмо М. Леман -> Э. Хоар 21.07.1970
    Автор благодарит за присланную статью, но сомневается в выводах. Высказывает свою точку зрения.
  • Письмо М. Вуджер -> Членам ИФИП/ТК2 01.05.1973
    Председатель ИФИП/РГ2.3 рассылает отчет о заседании Группы в Мюнхене в апреле 1973 года.
  • Протокол заседания (неформальный) М. Леман 28.01.1975
    рабочей группы 2.3 ИФИП. Мюнхен, 9-13 декабря 1974.
  • Письмо М. Леман -> А.П. Ершов 07.05.1975
    Сожалеет, что не удалось достаточно пообщаться в Лос-Анджелесе. Посылает несколько статей по динамическому программированию.
  • Визитная карточка 07.10.1976
    профессора М.М.Лемана, на которой просьба о встрече, и приписка Андрея Петровича - он принял это к сведению.
  • Письмо М. Леман -> В. Египко 07.10.1976
    Сообщает, что самым подходящим временем для визита в ИК АН УССР является ноябрь 1977 года; просит, чтобы приглашение именно на этот срок исходило от приглашающей стороны.
  • Письмо М. Леман -> А.П. Ершов 13.01.1977
    Автор собирается посылать документацию разным людям. Готов послать и адресату, если это ему интересно. О других материалах можно написать М. Холстеду.
  • Письмо М. Леман -> А.П. Ершов 16.12.1977
    со словами благодарности за теплый прием, оказанный во время пребывания в Академгородке.
  • Письмо А.П. Ершов -> Л. Белади 14.04.1978
    с посьбой прислать Труды конференции по построению софтвера; рассказывает о визите проф. Лемана.
  • Сопроводительное письмо М. Леман -> А.П. Ершов 02.05.1978
    к материалам, новым и старым, собранным вместе ради полноты картины.
  • Письмо М. Леман -> А.П. Ершов 28.06.1978
    с приглашением войти в состав Программного комитета Четвертой международной конференции по технологии программирования и с изложением обязанностей его членов.
  • Отчет М. Леман 20.07.1978
    Королевскому (научному) обществу о визите в СССР профессора М.М. Лемана.
  • Письмо М. Леман -> Членам программного комитета 02.11.1978
    Сообщается о двух заседаниях программного комитета и вопросах, которые на них обсуждались: формат конференции, продолжительность выступлений, порядок и последовательность отбора докладов и т.п.
  • Письмо М. Леман -> А.П. Ершов 14.12.1978
    с приложением протокола очередного заседания ПК Четвертой международной конференции по технологии программирования; списка адресов членов ПК; бланка рецензента.
  • Письмо М. Леман -> А.П. Ершов 19.01.1979
    с просьбой прорецензировать доклад № 14, присланный на Четвертую международную конференцию по технологии программирования. Желательно, чтобы рецензии написали два независимых рецензента. Просьба заполнить и срочно прислать заявку на гостиницу.
  • Письмо М. Леман -> А.П. Ершов 30.01.1979
    Просьба подготовить по две рецензии на доклады № 39, 42, 46, присланные на Четвертую международную конференцию по технологии программирования.
  • Письмо М. Леман -> А.П. Ершов 02.02.1979
    Просьба подготовить по две рецензии на доклады № 72, 80, 65, присланные на Четвертую международную конференцию по технологии программирования.
  • Письмо М. Леман -> А.П. Ершов 07.02.1979
    Просьба подготовить по две рецензии на доклады № 90, 101, присланные на Четвертую международную конференцию по технологии программирования.
  • Письмо М. Леман -> А.П. Ершов 11.02.1979
    Просьба подготовить две рецензии на доклад № 137, присланный на Четвертую международную конференцию по технологии программирования.
  • Письмо М. Леман -> А.П. Ершов 20.02.1979
    Просьба подготовить две рецензии на рукописи № 143-144, присланные на Четвертую международную конференцию по технологии программирования.
  • Письмо М. Леман -> А.П. Ершов 28.02.1979
    Председатель ПК сообщает, что в адрес Четвертой международной конференции по технологии программирования поступило 160 докладов. Каждому члену ПК было направлено для рецензирования по 11-14 докладов. В письме перечислены номера докладов, направленных А.П. Ершову, и содержится просьба ускорить отправку рецензий в адрес ПК.
  • Письмо М. Леман -> А.П. Ершов 23.03.1979
    с просьбой ускорить процесс рецензирования докладов, заявленных на конференцию. Их уже 166, но не все из них имеют надлежащий уровень. На некоторые имеется только одна рецензия. Хотелось бы иметь как можно больше независимых суждений.
  • Письмо М. Леман -> А.П. Ершов 26.04.1979
    с сообщением, что все рецензии на все доклады, отправленные А.П. Ершову, получены. Он первый, кто прислал всё.
  • Телеграмма А.П. Ершов -> Ф. Самнер 07.05.1979
    Рекомендует нескольких кандидатур вместо Дж. Хорнинга.
  • Письмо М. Леман -> А.П. Ершов 29.05.1979
    Автор сообщает о результатах двух заседаний программного комитета Четвертой международной конференции по технологии программирования. В настоящее время идет работа над составлением программы работы конференции.
  • Письмо М. Леман -> А.П. Ершов 29.05.1979
    со словами благодарности за помощь в отборе докладов на Четвертую международную конференцию по технологии программирования.
  • Письмо М. Леман -> А.П. Ершов 18.06.1979
    и проект программы Четвертой международной конференции по технологии программирования с перечислением опечаток. Автор просит высказать свое мнение по поводу председателей секций, а также прислать списки рецензентов для включения их в Труды конференции.
  • Письмо М. Леман -> А.П. Ершов 25.06.1979
    Председатель ПК сообщает,что те члены программного комитета, которые будут участвовать в 4-й Международной конференции по технологии программирования, должны внести оргвзнос в размере 80 DM.
  • Письмо М. Леман -> А.П. Ершов 10.10.1979
    Автор благодарит Андрея Петровича за поддержку и напряженную работу в программном комитете в течение всего года. Считает, что их усилия увенчались успехом.
  • Письмо М. Леман -> А.П. Ершов 24.01.1980
    М. Леман не получил еще никаких докладов для рецензирования.
  • Письмо М. Леман -> Членам программного комитета 28.01.1980
    Автор делится своими соображениями по поводу итогового отчета о 4-й Международной конференции по технологии программирования для журнала "IEEE Transactions".
  • Рецензия М. Леман -> А.П. Ершов 06.02.1980
    М. Лемана на доклад Р. Ларсона. /3 экземпляра/
  • Сопроводительная карточка М. Леман -> А.П. Ершов 02.04.1981
    к статье проф. М.М. Лемана.
  • Письмо М. Леман -> А.П. Ершов 12.01.1983
    Автор сожалеет, что давно ничего не слышал об Андрее Петровиче. Посылает свою статью с другими материалами и надеется на комментарии.
Назад
  • На главнуюНа главную
  • ПомощьПомощь
  • in Englishin English
  • WebmasterWebmaster
© ИСИ СО РАН, 2000-2025