Архив
Зарубежные командировки
Командировка в Болгарию (1980)
Телеграмма, П. Бырнев->А.П. Ершов, 08.08.1980
Сообщает о проблеме с гостиницей, обещает сообщить информацию не позже 12 августа.
Сопроводительная записка, П. Бырнев->А.П. Ершов, 12.08.1980
к копии письма, отосланного в АН СССР отностительно предстоящего совещания.
Письмо, Л. Илиев->А. С. Алексеев, 26.08.1980
Предлагает перенести срок намеченного совещания из-за проблем с размещением участников, т.к. в Софии в это же время будет проходить Всемирный Парламент Мира. Подтверждает приглашение 15 советским участникам.
Рабочие записи, 26.10.1980
Планы ЕЦММ на 1981-1985 гг.
Рабочие записи, 27.10.1980
Подготовка к докладу: "Теория вычислимости и теория программ: взаимное обогащение".
Тезисы (черновик), 28.10.1980
доклада :"Теория вычислимости и теория программ: взаимное обогащение"
Рабочие записи
сделанные во время заседаний.
Программа, 25.10.1980-01.11.1980
проведения болгаро-советского совещания по комплексно-целевой программе № 2 "Создание вычислительных центров коллективного пользования" в рамках двухстороннего сотрудничества между БАН и АН СССР.
План
сектора математической логики Института Математики и список сотрудников.
Отчет, 20.11.1980(?)
о командировке в Болгарию.
Туристическая информация, 26.10.1980-06.11.1980
Авиабилет, квитанции, визитная карточка.

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

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