СНС по информатике о научном докладе В.П. Пяткина; листок присутствующих; замечания к заключению Совета Л.Б. Эфроса.