Документы, связанные с Михаил Алексеевич Бульонков

Блокнот, 06.10.1983-10.10.1983
Рабочие записи, сделанные во время работы Школы по смешанным вычислениям.
Выписка, 02.02.1993
из протокола №2 заседания Ученого совета ИСИ СО РАН - считать Бульонкова М.А. представленным к званию старшего научного сотрудника.
Выписка, 14.02.1995
из протокола заседания Ученого совета ИСИ СО РАН - о новом составе аттестационной комиссии.
Выписка, 14.07.1992
из протокола №20 заседания Ученого совета ИСИ СО РАН - сообщение председателя счетной комиссии о результатах тайного голосования членов УС ИСИ о представлении Бульонкова М.А. к званию старшего научного сотрудника.
Выписка, 14.07.1992
из протокола №20 заседания Ученого совета ИСИ СО РАН - о присвоении звания старшего научного сотрудника М.А. Бульонкову.
Выписка, 29.09.1992
из протокола №26 заседания Ученого совета ИСИ СО РАН.
Выписка, 03.11.1992
из протокола №30 заседания Ученого совета ИСИ СО РАН - об утверждении редколлегии сборника "Проблемы теоретического и экспериментального программирования".
Выписка, 01.12.1992
из протокола №33 заседания Ученого совета ИСИ СО РАН - о создании аттестационной комиссии.
График, 25.01.1995(?)
проведения отчетной сесси ИСИ СО РАН.
Дискуссия
проведенная в рамках празднования 10-летнего юбилея Института систем информатики СО РАН. Темы: 1) проблемы образования и обучения, в частности, в университетах; 2)организация сотрудничества между компаниями и обучающими и научными организациями. /Запись дискуссии дана в отредактированном виде и черновом./
Доклад, 06.10.1983(?)
"Поливариантные смешанные вычисления для анализаторных программ".
Доклад, 23.10.1985
"Как специальные конструкции трансляции могут порождаться универсальными процессами смешанных вычислений", представленный на конференцию по прикладной логике.
Доклад, 19.10.1987
А.П. Ершова и М.А. Бульонкова "How do ad-hoc compiler constructs appear in universal mixed computation processes?"; слайды к докладу.
Доклад, 23.10.1987(?)
не состоявшийся.
Записка, 23.10.1985
с предполагаемым названием доклада на Всесоюзной конференции по прикладной логике и временем его прочтения.
Запись разговора, А.П. Ершов->Д. Бьорнер, 08.10.1987
по телефону (в ответ на телеграмму от 08.10.87).
Извещение, А.П. Ершов->М. А. Бульонков, 25.09.1986
на почтовую посылку из Кисловодска.
Обложка, 06.07.1988-15.07.1988
с хронологией работы над статьей.
Обоснование, 10.02.1987
целесообразности командирования сотрудников ВЦ СО АН на коллоквиум в Данию.
Оповещение
о международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.

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


Назад

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