News item

"IIS news" (the conference "Formal methods in programming and their applications" held by IIS; beginning of the works on building the Institute local network) . "Nauka v Sibiri", № 46, Nov. 1993.