О симпозиуме "Системное и теоретическое программирование"и рабочей группе по реализации языков программирования.