Просьба передать авторам заметки о выполнении доказательных вычислений на ЭВМ рекомендацию автора письма - переработать её в статью для журнала IPL.

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

24 февраля 1983 г. состоится заседание философского (методологического) семинара ЛОМИ и семинара № 2 лабораторий ЛОМИ на тему "Современное состояние парка ЭВМ и его социально-производственное использование (в свете решений XXVI съезда КПСС)". Докладчик - чл.-корр. АН СССР А.П. Ершов (Новосибирск).

на статью Э.А. Мусаева "Поддержка интервальных вычислений в языках высокого уровня".

о подготовке встречи профессоров Э. Дейкстры и Э. Хоара в МИ АН СССР.

В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просьба назначить ответственного по приему от Ленинградского отделения Математического института АН СССР, организации, принимающей гостей в Ленинграде. Сообщается дата прибытия.

доклада "Об абстрактном определении вычислимой функции", прочитанном в Ленинградском отделении математического института АН СССР.

Н.Н.Ляшенко, М.С.Никулина, И.Ф.Соколовского "Микрокалькулятор и элементарная алгебра".

с просьбой пригласить на симпозиум "Новые алгоритмические языки" перечисленных специалистов.

Автор просит прислать официальное приглашение на имя директора ЛОМИ для оформления командировки в ВЦ СО АН на симпозиум "Новые алгоритмические языки".

Просьба прислать представителя секции в Новосибирск для принятия окончательного решения по программе конференции. /Рукописный текст./

Уведомляет адресата, что приглашение на Ургенчский симпозиум послано на его домашний адрес.

с сообщением об участии в семинаре по автоматизации программирования.

Для оформления бумаг по Ургенчскому симпозиуму просьба сообщить домашний адрес. /Черновой рукописный и машинописный тексты./

к материалам к докладу на семинаре по логике в ПОМИ (бывш. ЛОМИ): С.С. Лавров. "Темные места в теории вычислимости"

с просьбой о дополнительных двух приглашениях на семинар.

Автора интересует мнение А.П. Ершова по кандидатурам, выдвигаемым на должность старшего научного сотрудника. Прилагается копия письма-обоснования на выделение ЛОМИ дополнительных штатных единиц.

с перечислением состава участников семинара по автоматизации программирования.

на докторскую диссертацию Ю.Е. Боровского "О системе инвариантов, разделяющих неконгруентные алгебраические многообразия в алгебраическом пространстве Клейна".