Документы, связанные с Александр Васильевич Замулин

Протокол № 29 12.01.1978

заседания Ученого Совета НФ ИТМ и ВТ.
Заключение комиссии А.П. Ершов 15.01.1978

Ученого совета НФ ИТМ и ВТ по поводу состояния дел в лаборатории № 7. /Текст рукописный./
Заключение комиссии 20.01.1978

Ученого совета НФ ИТМ и ВТ по поводу состояния дел в лаборатории № 7. /Текст машинописный./
Фотография 20.03.1978

Март 1978. Участники всесоюзного семинара "Перспективы развития системного и теоретического программирования", приуроченного к 20-летию Отдела программирования, в фойе Большого зала Доме ученых СО АН СССР. Сверху вниз слева направо: 1-й ряд - Б.А. Загацкий, И.В. Вельбицкий, Л.К. Трохан, -, Л.А. Корнева, Б.Л. Сысолетин, Ю.М. Волошин,-; 2-й ряд - Г.А. Звенигородский, Ю.И. Михалевич, Г.И. Бабецкий, В.Е. Котов, В.А. Янков, О.К. Омельченко, А.А. Берс, Н.В. Шкут, А.А. Кодатко, Л.Л. Змиевская; 3-й ряд - Р.Н. Клюшкова, Л.И. Котова, Т.А. Темноева, И.М. Бобылева, М.Р. Шура-Бура, А.П. Ершов, С.Д. Тартаковская, Т.Л. Резник, М.М. Бежанова, Р.Д. Мишкович, Л.В. Войтишек; 4-й ряд - В.В. Войтишек, Р.Н. Подловченко, Л.Б. Эфрос, С.К. Кожухина, И.В. Поттосин, И.А. Виткина, М.И. Легостаева, С.С. Лавров, А.С. Нариньяни.
Наброски А.П. Ершов 12.05.1978

по составу Совета по МО. /Текст рукописный./
Решение 05.07.1978

комиссии по выдвижению сотрудников НФ ИТМ и ВТ на Доску почета. Выдвинуто 15 человек.
Приказ № 139/к В.Л. Катков 28.09.1978

Для проведения аттестации сотрудников Филиала создать комиссию из перечисленных лиц. Аттестацию провести 26-27 октября 1978 г. /Рукой Андрея Петровича приписано: "Отложено до декабря"./
Приказ В.Л. Катков 28.09.1978

Для подведения итогов стажировки молодых специалистов 1977 года создать комиссию в перечисленном составе.
Информационное письмо В.П. Пяткин -> А.П. Ершов 01.01.1979

Расписание выступлений руководителей подразделений на Ученом совете НФ ИТМ и ВТ с отчетами о работе за 1978 г.
Письмо М. Леман -> А.П. Ершов 02.02.1979

Просьба подготовить по две рецензии на доклады № 72, 80, 65, присланные на Четвертую международную конференцию по технологии программирования.
Письмо М. Леман -> А.П. Ершов 20.02.1979

Просьба подготовить две рецензии на рукописи № 143-144, присланные на Четвертую международную конференцию по технологии программирования.
Письмо Д.Г. Жимерин 23.10.1979

о проведении всесоюзной конференции "Банки данных" (октябрь 1980 года; Тбилиси).
Рецензия А.В. Замулин -> А.П. Ершов 01.02.1980

А.В. Замулина на доклад Л. Буа и Ж. Фуассо.
Уведомление В.А. Евстигнеев -> А.П. Ершов 24.10.1980

о заседании Научно-технического совета НФ ИТМ и ВТ.
План 06.11.1980

окончания 2-го и 3-го годов рубрики "Искусство программирования" журнала "Квант".
Извещение -> А.П. Ершов 16.01.1981

о заседании Ученого совета ВЦ СО АН СССР.
Извещение -> А.П. Ершов 03.04.1981

о заседании Ученого совета ВЦ СО АН СССР.
Отчет А.П. Ершов 18.12.1982

о приеме в ВЦ СО АН СССР профессора университета Эрланген-Нюрнберг (ФРГ) Н.Ведекинда. /Текст рукописный./
Блокнот А.П. Ершов 06.10.1983

Рабочие записи, сделанные во время работы Школы по смешанным вычислениям.
Извещение -> А.П. Ершов 28.12.1983

о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Был."/
Отзыв С.С. Лавров 01.01.1984

на статю А.В. Замулина и И.Н. Скопина "Типы данных в языках программирования" /для сборника "Прикладная информатика"
Сопроводительное письмо -> А.П. Ершов 03.09.1984

и повестка выездного заседания Объединенного ученого совета по механико-математическим наукам и энергетике СО АН СССР 18 сентября 1984 года в поселке Быстровка Новосибирской обл.
Сопроводительное письмо В.М. Савинков -> С.С. Лавров 01.01.1985

К ответу авторов статьи "Система типов языков программирования" на замечания С.С. Лавтора и к переработанному варианту статьи с просьбой переслать комментарии к 10-15 июня 1985 г. для обсуждения на заседании редколлегии
Отзыв С.С. Лавров 25.02.1985

на статью А.В. Замулина и И.Н. Скопина "Система типов языков программирования" с рекомендацией снабдить работу при публикации полемическим комментарием, составленным на основе данного отзыва /для сборника "Прикладная информатика"/
Письмо А.В. Замулин 01.05.1985

авторов статьи "Система типов языков программирования" в редколлегию сборника "Прикладная информатика" с ответом на замечания С.С. Лаврова, высказанные в рецензии от 25.02.1985
Сопроводительное письмо и отзыв С.С. Лавров -> В.М. Савинков 22.05.1985

на переработанный вариант статью А.В. Замулина и И.Н. Скопина "Конструкции языка программирования как типы данных"
Профсоюзный билет № 43575345 05.06.1985

Замулина Александра Васильевича.
Описание языка АТЛАНТ с сопроводительным письмом А.В. Замулин -> С.С. Лавров 25.12.1985
Извещение -> А.П. Ершов 06.01.1986

о заседании НТС "Вычислительные системы".
Извещение А.В. Замулин -> А.П. Ершов 15.04.1986

о заседании специализированного совета по защитам К 002.10.02.
Повестка А.В. Замулин -> А.П. Ершов 10.06.1986

заседания специализированного совета К 002.10.02.
Письмо А.П. Ершов -> В.М. Актимиров 30.07.1986

Предлагает адресату приехать в Новосибирск для обсуждения выдвинутых идей и выступления на семинаре. /Текст рукописный./
Программа М.И. Нечепуренко 20.08.1986

пребывания датского ученого Д. Бьорнера в Новосибирском научном центре с 28 сентября по 2 октября 1986 года.
Заключение А.В. Замулин 30.09.1986

специализированного совета К 002.10.02 ВЦ СО АН СССР о кандидатской диссертации А.А.Гутмана.
Повестка А.В. Замулин -> А.П. Ершов 30.09.1986

заседания специализированного совета К 002.10.02.
Информационное сообщение А.В. Замулин 15.10.1986

о коллоквиуме по частичным и смешанным вычислениям и приглашение представить свои результаты в этой области.
Список 24.10.1986

членов нового НТС по информатике. В списке 23 фамилии.
Повестка А.В. Замулин -> А.П. Ершов 28.10.1986

заседания специализированного совета К 002.10.02.
Письмо В.Н. Касьянов -> С.С. Лавров 17.11.1986

Автор благодарит за отзыв на свою книгу и просит С.С. Лаврова поддержать официальным отзывом свою диссертационную работу.
Повестка А.В. Замулин -> А.П. Ершов 02.12.1986

заседания специализированного совета К 002.10.02.
Служебная записка А.П. Ершов -> А.С. Алексеев 17.12.1986

об оформлении заявки на участие в коллоквиуме по частичным и смешанным вычислениям для сотрудников ВЦ СО АН СССР.
Повестка -> А.П. Ершов 25.12.1986

заседания специализированного совета Д 002.10.02.
Телетайпограмма Д. Бьорнер -> А.П. Ершов 10.01.1987

со списком советских участников; дается согласие на замену.
Открытка Д. Бьорнер -> А.П. Ершов 11.01.1987

информация о семи японских ученых, пожелавших участвовать в коллоквиуме, а также напоминание о библиографии у А.В. Замулина.
Письмо Д. Бьорнер -> А.П. Ершов 09.02.1987

с вопросами, касающимися участия советской делегации в коллоквиуме.
Обоснование А.С. Алексеев 10.02.1987

целесообразности командирования сотрудников ВЦ СО АН на коллоквиум в Данию.
Телеграмма А.В. Замулин -> Д. Бьорнер 17.02.1987

Отвечает на вопросы из письма от 09.02.1987.
Телеграмма А.В. Замулин -> А.П. Ершов 17.02.1987

Просьба срочно позвонить Бьернеру.

Документы, связанные с Александр Васильевич Замулин

Страницы