Phone: +7 (812) 571-43-92 (office) Fax: +7 (812) 310-53-77
E-mail: vsemir at pdmi.ras.ru
Homepage: https://logic.pdmi.ras.ru/~vsemir/