Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
(18–19 июля 2016 г., МИАН, ул. Губкина, 8, г. Москва)

Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна, г. Москва, 18–19 июля 2016 г.
	18 июля 2016 г. (пн)
1.	Периодические произведения групп В. С. Атабекян 18 июля 2016 г. 11:00–11:50, г. Москва, МИАН, ул. Губкина, 8
2.	Decidability, complexity and index sets of classes of computable models С. С. Гончаров 18 июля 2016 г. 12:10–13:00, г. Москва, МИАН, ул. Губкина, 8
3.	Invariant random subgroups and one result of Adian Р. И. Григорчук 18 июля 2016 г. 15:00–15:50, г. Москва, МИАН, ул. Губкина, 8
4.	Теория сложности док­азательств А. А. Разборов 18 июля 2016 г. 15:50–16:40, г. Москва, МИАН, ул. Губкина, 8
	19 июля 2016 г. (вт)
5.	Positive provability logic and reflection calculus Л. Д. Беклемишев 19 июля 2016 г. 11:00–11:50, г. Москва, МИАН, ул. Губкина, 8
6.	Groups which are the product of t­wo subgroups B. Amberg 19 июля 2016 г. 12:10–13:00, г. Москва, МИАН, ул. Губкина, 8
7.	Квадратичные уравнения в свободных метабелевых группах И. Г. Лысёнок 19 июля 2016 г. 15:00–15:50, г. Москва, МИАН, ул. Губкина, 8
8.	Polynomials in min-plus algebra and related algorithmic problems В. В. Подольский 19 июля 2016 г. 15:50–16:40, г. Москва, МИАН, ул. Губкина, 8