Talks

Invited Talks

• Equivalence relations and computable reducibility, Mal'tsev Meeting 2020, Novosibirsk (Russia) / online
• Rogers semilattices in the analytical hierarchy, Computability Theory and Applications Online Seminar, June 9, 2020
• Rogers semilattices and their first-order theories, Asian Logic Conference 2019, Nur-Sultan, 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

Other Recent Talks

• Definable subsets of polynomial-time algebraic structures, Computer Science in Russia 2020, Ekaterinburg (Russia) / online
• Semilattices of numberings (on joint work with Manat Mustafa and Mars Yamaleev), CLMPST-2019, Prague, Czech Republic
• Computable isomorphisms of distributive lattices (on joint work with Manat Mustafa and Mars Yamaleev), Theory and Applications of Models of Computation 2019, Kitakyushu, Japan

Last updated: January 22, 2021..