Adian 90: Conference on Mathematical Logic, Algebra, and Computation
July 5, 2021 11:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom