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