проведенная в рамках празднования 10-летнего юбилея Института систем информатики СО РАН. Темы: 1) проблемы образования и обучения, в частности, в университетах; 2)организация сотрудничества между компаниями и обучающими и научными организациями. /Запись дискуссии дана в отредактированном виде и черновом./

на пятилетку по академическому сотрудничеству с социалистическими странами (1981-1985 гг.) - ЧССР, Болгария, ГДР; проблемы, темы, подтемы; исполнители. /Текст рукописный./

проекта целевой комплексной программы на 12-ую пятилетку по решению научно-технической проблемы "Разработка и внедрение программных средств, необходимых для применения микропроцессорной техники, вычислительных машин и систем в народном хозяйстве". Это - Приложение к письму ГКНТ от ноября 1983 г. /Рукой Андрея Петровича перечислены фамилии сотрудников, которым с этим документом необходимо ознакомиться и подготовить предложения к НТС Вычислительного центра./

курса лекций "Программирование" для студентов ММФ (1-й курс, 1984-1985 уч. год), специальность - "прикладная математика"; летняя сессия.

сотрудников лаборатории систем программирования ВЦ СО АН. /Текст рукописный./

статьи В.Н. Касьянова "Оптимизация программ: некоторые подходы".

"Программ оптимизирующие преобразования".

Сотрудники лаборатории написали свои заявки на командировки для сводной заявки лаборатории.

членов СНС по информатике.

проведения отчетной сессии СНС по направлению "Информатика".

заседания Ученого совета ИСИ СО РАН.

к книге В.Н. Касьянова и И.В. Поттосина "Методы построения трансляторов". Ответственный редактор - А.П. Ершов.

В.Н. Касьянов (Новосибирск) "Конструирование качественных программ методом конкретизирующих преобразований".

В.Н. Касьянов, В.К. Сабельфельд (Новосибирск) "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности".

Просьба дать указание о включении в заявку ВЦ СО АН СССР выпускников НГУ по приложенному списку.

М.И. Шварцман продолжает доклад о проекте внутреннего языка. Идет оживленная дискуссия.

на стажера ВЦ СО АН СССР В.Н. Касьянова.

стажера-исследователя В.Н. Касьянова о первом годе своей работы в ВЦ СО АН СССР.

в оргкомитет всесоюзного семинара по комбинаторной математике на участие В.Н. Касьянова.

Р-005 "Перечень работ, генерирующих выполнение сетевого графика пробной реализации".