Talks

Selected Invited Conference Talks

On the complexity of isomorphisms for computable structures, 2026 China–Russia Conference of Mathematics, April 20–24, 2026, Nanjing, China
Punctual structures and their applications, Δ₂₅ Logic Workshop, December 20, 2025, Beijing, China
On the complexity of isomorphisms for computable and decidable models, Model Theory and Interactions in the Yangtze Delta (Week 2), November 24–28, 2025, Shanghai, China
On degree structures of positive binary relations, Mal'tsev Meeting 2025, November 10–14, Novosibirsk, Russia
On reducibilities for computably enumerable equivalence relations, Tianyuan Workshop on Computability Theory and Descriptive Set Theory, June 16–20, 2025, Kunming, China
On reducibilities for positive equivalence relations, Algebra and Mathematical Logic: Theory and Applications, June 27 – July 1, 2024, Kazan, Russia
Learning families of algebraic structures from text, From omega to Omega, June 12 – July 7, 2023, Singapore
Eliminating unbounded search in classical branches of computability theory, Mal'tsev Meeting 2022, November 14–18, 2022, Novosibirsk, Russia
Equivalence relations on reals, and learning for algebraic structures, New Directions in Computability Theory, March 7–11, 2022, Luminy, Marseille, France. [slides]. [video]
Learning for families of algebraic structures, International Conference on Algebra, Analysis and Geometry 2021, August 23–27, 2021, Kazan, Russia. [video]
Primitive recursive algebraic structures, and the theory of numberings, Logic Colloquium 2021 (Special Session in Computability Theory), July 19–24, 2021, Poznań (Poland) / online. The recording and the slides are available here.
Primitive recursive and automatic structures, Adian 90: Conference on Mathematical Logic, Algebra and Computation, July 5–8, 2021, Moscow, Russia. [video]
Bi-embeddable categoricity of computable structures, Oberwolfach Workshop in Computability Theory, Oberwolfach (Germany) / online, April 25 – May 1, 2021. [slides].
Equivalence relations and computable reducibility, Mal'tsev Meeting 2020, Novosibirsk (Russia) / online
Rogers semilattices and their first-order theories, Asian Logic Conference 2019, Astana, Kazakhstan
Computable categoricity and index sets, Mal'tsev Meeting 2018, Novosibirsk, Russia
On autostability spectra of computable structures, Mathematics in the Modern World (Section: Algebra, Number Theory, and Mathematical Logic), August 14-19, 2017, Novosibirsk, Russia
Effective categoricity for decidable structures, Workshop on Computability Theory 2015, Bucharest, Romania
Index sets of structures that are autostable relative to strong constructivizations (on joint work with Sergey Goncharov and Margarita Marchuk), Mal'tsev Meeting 2015, Novosibirsk, Russia
Autostability spectra relative to strong constructivizations (on joint work with Margarita Marchuk), Asian Logic Conference 2015 (Special Session on Recursion Theory), Mumbai, India
Autostability spectra for Boolean algebras [ slides in Russian], Mal'tsev Meeting 2014, Novosibirsk, Russia

Selected Seminar Talks

On primitive recursive reverse mathematics, Taimanov Seminar on Model Theory, Eurasian National University (Astana, Kazakhstan), January 27, 2026.
On computability-theoretic aspects of Stone spaces, Moscow-Beijing Topology Seminar, December 3, 2025.
Learning for algebraic structures, PKU Model Theory Seminar, Peking University (Beijing, China), May 8, 2025.
Punctual structures, automatic structures, and index sets, Logic Online Seminar, Steklov Mathematical Institute (Moscow, Russia), April 1, 2024. [video]
Learning for families of algebraic structures, Logic Online Seminar, Steklov Mathematical Institute, April 4, 2023. [video]
Learning for families of algebraic structures, Nankai Logic Colloquium, Nankai University (Tianjin, China) / online, September 30, 2022.
Rogers semilattices in the analytical hierarchy, Computability Theory and Applications Online Seminar, June 9, 2020. [video]
Categoricity spectra and effective classifications, Applied Logics Seminar, Institute of Information Science, Academia Sinica, October 12, 2018.

Last updated: April 30, 2026.