Workshop on Science Intensive Software (SIS) Workshop on Science Intensive Software (SIS) (in Russian) Program Semantics, Specification and Verification: Theory and Applications Workshop on Educational Informatics Workshop on Educational Informatics (in Russian)
