Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian

CONFERENCES

Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian
(July 18–19, 2016, Steklov Mathematical Institute of RAS, Gubkina, 8, Moscow)

E-mail:
Website: https://adian85.mi.ras.ru

Organizing Committee
Beklemishev Lev Dmitrievich (Chairman)
Podolskii Vladimir Vladimirovich
Talambutsa Alexey Leonidovich

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian, Moscow, July 18–19, 2016

Периодические произведения групп V. S. Atabekyan July 18, 2016 11:00 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Decidability, complexity and index sets of classes of computable models S. S. Goncharov July 18, 2016 12:10 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Invariant random subgroups and one result of Adian R. I. Grigorchuk July 18, 2016 15:00 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Теория сложности доказательств A. A. Razborov July 18, 2016 15:50 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Positive provability logic and reflection calculus L. D. Beklemishev July 19, 2016 11:00 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Groups which are the product of two subgroups B. Amberg July 19, 2016 12:10 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Квадратичные уравнения в свободных метабелевых группах I. G. Lysenok July 19, 2016 15:00 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Polynomials in min-plus algebra and related algorithmic problems V. V. Podolskii July 19, 2016 15:50 Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8