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)

Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian, Moscow, July 18–19, 2016
	July 18, 2016 (Mon)
1.	Периодические произведения групп V. S. Atabekyan July 18, 2016 11:00–11:50, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
2.	Decidability, complexity and index sets of classes of computable models S. S. Goncharov July 18, 2016 12:10–13:00, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
3.	Invariant random subgroups and one result of Adian R. I. Grigorchuk July 18, 2016 15:00–15:50, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
4.	Теория сложности док­азательств A. A. Razborov July 18, 2016 15:50–16:40, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
	July 19, 2016 (Tue)
5.	Positive provability logic and reflection calculus L. D. Beklemishev July 19, 2016 11:00–11:50, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
6.	Groups which are the product of t­wo subgroups B. Amberg July 19, 2016 12:10–13:00, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
7.	Квадратичные уравнения в свободных метабелевых группах I. G. Lysenok July 19, 2016 15:00–15:50, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
8.	Polynomials in min-plus algebra and related algorithmic problems V. V. Podolskii July 19, 2016 15:50–16:40, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8