about holding the symposium "The Theory of programming Languages and Methods of Programming Systems Development".