Автор сообщает, что согласен выступить с докладом на тему "Алгебраические и автоматные методы в теории программирования" совместно с А.А. Летичевским.
