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

  • Протокол № 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.

Страницы

Назад