Talks

• Complexity of the problem of ∀-representability for sentences, contributed talk at the Mal'tsev Meeting 2024, November 12, 2024, Novosibirsk, Russia.
• Systems of Diophantine equations over finite configurations, contributed talk at the Mal'tsev Meeting 2023, November 14, 2023, Novosibirsk, Russia.
• Complexity of the problem of Horn representability for sentences, invited talk at the Fifth Workshop on Digitalization and Computable Models, October 2, 2023, Astana, Kazakhstan.
• Complexity of the problem of being equivalent to Horn sentences, contributed talk at the Mal'tsev Meeting 2022, November 16, 2022, Novosibirsk, Russia.
• On closure of configurations in freely generated projective planes, contributed talk at the Mal'tsev Meeting 2021, September 23, 2021, Novosibirsk, Russia.
• On the complexity of the problem of an equivalent Horn formula existence, contributed talk at the Mal'tsev Meeting 2020, November 19, 2020, Novosibirsk, Russia.
• Sacerdote's theorem and free projective planes, contributed talk at the Mal'tsev Meeting 2019, August 19, 2019, Novosibirsk, Russia.
• Computable dimension and projective planes, invited special-session talk at the Asian Logic Conference 2019, June 19, 2019, Nur-Sultan, Kazakhstan.
• Computable presentations of projective planes, seminar talk in the Research Seminar of the Department of Algebra and Mathematical Logic at the Kazan Federal University, November 3, 2017, Kazan, Russia.
• Freely generated projective planes with finite computable dimension, seminar talk in the All-Institute Mathematical Seminar at the Sobolev Institute of Mathematics, October 6, 2017, Novosibirsk, Russia.
• Computable presentations of projective planes, plenary talk at the Mal'tsev Meeting 2016, November 24, 2016, Novosibirsk, Russia.
• Freely generated projective planes with finite computable dimension, contributed talk at the Logic Colloquium 2016, August 2, 2016, Leeds, UK.
• The theory of projective planes is complete with respect to degree spectra and effective dimensions, seminar talk in the All-Institute Mathematical Seminar at the Sobolev Institute of Mathematics, February 19, 2016, Novosibirsk, Russia.
• The theory of projective planes is complete with respect to degree spectra and effective dimensions, contributed talk at the Logic Colloquium 2015, August 4, 2015, Helsinki, Finland.
• The theory of projective planes is complete with respect to degree spectra and effective dimensions, contributed talk at the Mal'tsev Meeting 2014, November 11, 2014, Novosibirsk, Russia.
• The isomorphism problem for computable projective planes, contributed talk at the Logic Colloquium 2014, July 14, 2014, Vienna, Austria.
• On automatic presentation of projective planes (on joint work with A.S. Denisenko), contributed talk at the Mal'tsev Meeting 2012, November 13, 2012, Novosibirsk, Russia.
• On uniform computability in familiar classes of projective planes, contributed talk at the Turing Centenary Conference, Computability in Europe 2012, June 19, 2012, Cambridge, UK.
• Computable presentations of desarguesian projective planes, contributed talk at the Logic Colloquium 2011, July 11, 2011, Barcelona, Spain.
• On computable freely generated projective planes, seminar talk in the Joint Austrian-Russian Seminar “Computability and Definability” at the Kurt Gödel Research Center, July 8, 2010, Vienna, Austria.
• Undecidability of the theory of projective planes, contributed talk at the International conference “Computability and Models” held on the 70th anniversary of N.G. Khisamiev, August 30, 2009, Ust'-Kamenogorsk, Kazakhstan.
• Undecidability of the theory of projective planes, contributed talk at the Logic Colloquium 2009, August 5, 2009, Sofia, Bulgaria.
• The computable dimension of free projective planes, contributed talk at the Computability in Europe 2008, June 18, 2008, Athens, Greece.
• On computability of class of projective planes, contributed talk at the Mal'tsev Meeting 2007, November 13, 2007, Novosibirsk, Russia.
• The class of projective planes is not computable, contributed talk at the International conference “Computability and Models”, August 10, 2007, Novosibirsk, Russia.
• Computable lists of I-algebras and complexity of some problems, contributed talk at the Logic Colloquium 2004, July 27, 2004, Turin, Italy.
• Constructive Boolean algebras with distinguished ideals, plenary talk at the International conference held on the 50th anniversary of S.S. Goncharov, September 26, 2001, Novosibirsk, Russia.
• Strictly computability of class of constructive I-algebras, contributed talk at the Logic Colloquium 2000, July 30, 2000, Paris, France.