с вопросом, касающимся стиля программирования проф. Э. Дейкстры.

с вопросом о сложности программирования, связанной с доказательством программы.

с вопросом - "Так что же такое надежность программного обеспечения".

с просьбой к проф. Э. Дейкстре прокомментировать его высказывание, сделанное по поводу появления проекта IBM 360.

с просьбой высказаться по поводу статьи П. Абрахамса.

с вопросом по характеристикам языка для написания Простых Программ.

Сообщает о своей предполагаемой поездке в Нидерланды и интересуется, смогут ли они там в июне встретиться.

с вопросом о программе визита и с просьбой сообщить свое мнение отностительно системы SOLO П. Бринк Хансена.

с просьбой к проф. Э. Дейкстре прокомментировать свое высказывание, сделанное по поводу появления проекта IBM 360.

Как член ПК ИФИП-80 А.П. Ершов будет иметь возможность посетить Амстердам несколько раз. Он будет рад задержаться в Нидерландах в сентябре на один-два дня, чтобы встретиться с А. ван Вейнгаарденом и Э. Дейкстрой.

Э. Дейкстра приглашает А.П. Ершова побывать у него в гостях в Нюнене.

встречи профессоров Броя, Дейкстры и Ершова от 6 августа 1984 г. в Марктобердорфе.

с вопросом: кто, по мнению проф. Э. Дейкстры, идейный и практический руководитель при использовании вычислительной техники в практической работе?

с вопросом о преодолении инерции сложившегося подхода к программированию.

Приглашает приехать к ним в Нюнен в Нидерландах, уточняет даты.

Ходатайство перед Президиумом СО АН о включении в план зарубежных научно-технических связей научной командировки А.П. Ершова в ФРГ на 2 недели в июле-августе 1984 г. в качестве лектора и участника. Обоснование прилагается.

Автор подтверждает получение списка публикаций Э. Дейкстры. Он нужен для подготовки брошюры, которую намерены издать к его 50-летию.

с вопросом о защите авторских прав разработчиков программного обеспечения в странах Западной Европы.

с вопросом о способах расширения возможностей языка высокого уровня.

по поводу прилета А.П. Ершова в Амстердам на заседание ПК.