Talks

Selected Invited Conference Talks

• 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: February 5, 2026.