Документы, связанные с Мюнхенский технический университет

Письмо, А.П. Ершов->М. Паул, 29.01.1973
С сожалением сообщает, что не сможет принять участие в заседании ИФИП/РГ2.1. Передает свои полномочия в Дрезденской встрече А.Ф. Рару.
Программа, 02.08.1975
пребывания А.П. Ершова в ФРГ.
Протокол с приложениями, 28.08.1962-30.08.1962
Неофициальный протокол заседания со следующими приложениями: А) Предварительное извещение о заседании с повесткой дня. В) Сообщение о начале работы РГ2.1. С) Письмо председателя ТК2 о дальнейшей работе над АЛГОЛом. D) Поправки к титульному листу Пересмотренного сообщения об АЛГОЛе 60. G)Письмо А.П. Ершова с изложением его позиции по вопросам повестки дня заседания. Н) Обзор характеристик подмножеств ALGOR и SMALGOL с результатами голосования по их поводу. I) Обзор иных особенностей RA60 (римской версии АЛГОЛа), предназначенных для включения в подмножество языка с результатами голосования по их поводу. (Приложения Е и F отсутствуют, приложение J - подробный протокол заседания - дано отдельно.)
Письмо, М. Паул->А.П. Ершов, 25.03.1982
с приглашением войти в состав ПК рабочей конференции ИФИП "Языки программирования и конструирование систем".
Список
Названия и руководители исследовательских групп в Мюнхенском техническом университете.
Письмо, В. Нигель->А.П. Ершов, 21.09.1977
приложенное к рукописи, предназначенной для рецензирования и публикации в журнале "Acta Informatica"; просьба отослать рецензию в редакцию в указанный срок.
Телеграмма, А.П. Ершов->Ф. Л. Бауэр, 10.03.1970
Просьба подтвердить приглашение А.Ф. Рара.
Список, 01.03.1975
подразделений Института математики и Института информатики Мюнхенского технического университета.
Письмо, М. Паул->А.П. Ершов, 29.05.1978
Проф. Паул предлагает почтовое голосование за резолюцию ТК2, принятую на 23-ем заседании в Оксфорде, относительно установления официальной связи между ТК2 и ISO/TC 97/SC 16. Если до 15 июля 1978 г. не будет ответа, то голос считается "за".
Предложения, 10.12.1974(?)
о командировании ученых ВЦ СО АН СССР для научной работы в научных центрах капиталистических и развивающихся стран на 1975 г.
Письмо, 20.11.1992(?)
в поддержку Института систем информатики СО РАН. В течение ряда лет Институт проводит впечатляющие и достойные уважения работы в области теоретического программирования, верификации программ, смешанных вычислений, разработки СБИС и САПР, программирования баз данных, искусственного интеллекта и др. Результаты этих исследований лежат в основе многих важных достижений науки и техники. Автор настоятельно рекомендует продолжить финансирование Института. (На русском и английском языках).
Телеграмма, А.П. Ершов->М. Паул, 14.05.1971
Автор сообщает, что возникли неожиданно формальные трудности в подготовке заседания Рабочей группы в СССР. Окончательное решение вопроса потребует порядка месяца. Рекомендует начать поиски резервного места.
Телеграмма, А.П. Ершов->Г. Парч, 01.11.1985
Просьба рассмотреть на заседании программного комитета заявки по приведенному списку.
Телеграмма, А.П. Ершов->М. Паул, 13.05.1970
Просит сообщить повестку Брюссельского заседания.
Письмо, М. Паул->А.П. Ершов, 28.01.1971
Автор сообщает, что запросил у секретаря Г. Боулдена подробную информацию о 15-м заседании ИФИП/РГ2.1 в Новосибирске. О том же просит и А.П. Ершова.
Письмо, Р. К. Бауэр->А.П. Ершов..., 25.06.1980
с сообщением о смерти проф. К. Замельзона и предложением принять участие в подготовке статьи, посвященной его памяти, вместе с другими членами редколлегии журнала "Acta Informatica".
Письмо, М. Паул->А.П. Ершов, 27.04.1976
Просьба проголосовать по поводу утверждения нового члена ИФИП/РГ2.4 и сообщить свое решение по почте.
Письмо, Ф. Л. Бауэр->А.П. Ершов..., 12.02.1971
с информацией о Летней школе по программированию в Марктобердорфе.
Телеграмма, А.П. Ершов->М. Паул, 22.06.1971
"К сожалению, провести заседание Рабочей группы в СССР не представляется возможным."
Телеграмма, А.П. Ершов->М. Паул, 17.06.1971
"Просьба подождать несколько дней."

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


Назад

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