Подтверждение готовности встретить, принять и поселить у себя С.С. Лаврова на время его пребывания в Бостоне; просьба сообщить дату и время прилета

об издании "Лекций...", о теореме Райса

Приложение к диплому об окончании МГУ

"Состояние и перспективы развития математического обеспечения ЭВМ", прочитанная на Школе ОИЯИ по применению ЭВМ в задачах экспериментальной физики. Алушта, 5-19 мая 1968 /Материалы Школы/

Святослав Сергеевич Лавров. 1979

С.С. Лавров "Так что же такое информатика?" /для журнала "Компьютерные инструменты в образовании"/

Святослав Сергеевич Лавров. 1980

Les Langages de Programmation. - Труды Международного конгресса математиков. Т.3, С. 275-279. Ницца, 1970 (на французском языке)

для окончивших университет

ответ на письмо от 11.08.1999

Согласие опубликовать статью С.С. Лаврова у себя в журнале после небольших переделок. Рекомендации по изменению стиля изложения

об ошибочности передачи необходимой ИТА машины БЭСМ-6 в ЛВЦ. Просьба пересмотреть вопрос о распределении машин, поступающих в АН СССР, и оказать содействие ИТА в получении БЭСМ-6 в ближайшее время

в проект постановления ЦК КПСС и СМ СССР "О развитии фундаментальных исследований в области информатики и вычислительной техники"

С.С. Лаврова к концепции использования средств ВТ в сфере образования. /рукописные замечания на страницах памятной записки членам комиссии от составителя рабочего варианта концепции/

на статью А.В. Арсентьевой "Самоподобные рекурсивные структуры и их алгоритмизация"

Благодарность за отзыв и информация о дате защиты

Утверждение избранных Общим собранием Отделения общей физики и астрономии АН СССР директоров институтов.

на доклад А. де Брейна.

комиссии по проверке программной документации на первую очередь типового программного обеспечения общего назначения МВК "Эльбрус-1".

комиссии по проверке функционирования программного обеспечения центрального процессора МВК "Эльбрус-1".