Статья "Новости ИСИ" (в рубрике "НВС" информирует") в газете "Наука в Сибири", № 46, ноябрь 1993 г. В ней сообщается о конференции "Формальные методы в программировании и их приложения", проводимой Институтом систем информатики. Труды этой конференции опубликованы издательством "Шпрингер-Ферлаг". Наиболее значительные из них будут переведены и изданы в России. Среди других новостей Института - развернувшаяся работа по созданию локальной компьютерной сети. Дата: 15.11.1993(?) Названия статей: "Новости ИСИ" Оригинальный язык документа: русский Авторы: Д. Федорцев Организации: Газета "За науку в Сибири" ("Наука в Сибири"), ИСИ СО АН СССР (ИСИ СО РАН) Персоналии: Игорь Васильевич Поттосин
