Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics