Complexity of the problem of being equivalent to Horn sentences, Мальцевские чтения 2022, 16 ноября 2022, Новосибирск, Россия, секционный доклад.
On closure of configurations in freely generated projective planes, Мальцевские чтения 2021, 23 сентября 2021, Новосибирск, Россия, секционный доклад.
О сложности проблемы эквивалентности хорновским формулам, Мальцевские чтения 2020, 19 ноября 2020, Новосибирск, Россия, секционный доклад.
Sacerdote's theorem and free projective planes, Мальцевские чтения 2019, 19 августа 2019, Новосибирск, Россия, секционный доклад.
Computable dimension and projective planes, Asian Logic Conference 2019, 19 июня 2019, Нур-Султан, Казахстан, приглашённый доклад на специальной сессии.
Свободно порождённые проективные плокости конечной вычислимой размерности, Общеинститутский математический семинар, Институт математики СО РАН, 6 октября 2017, Новосибирск, Россия, доклад на семинаре.
Вычислимые представления проективных плоскостей, Мальцевские чтения 2016, 24 ноября 2016, Новосибирск, Россия, пленарный доклад.
Freely generated projective planes with finite computable dimension, Logic Colloquium 2016, 2 августа 2016, Лидс, Великобритания, секционный доклад.
Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей, Общеинститутский математический семинар, Институт математики СО РАН, 19 февраля 2016, Новосибирск, Россия, доклад на семинаре.
The theory of projective planes is complete with respect to degree spectra and effective dimensions, Logic Colloquium 2015, 4 августа 2015, Хельсинки, Финляндия, секционный доклад.
Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей, Мальцевские чтения 2014, 11 ноября 2014, Новосибирск, Россия, секционный доклад.
The isomorphism problem for computable projective planes, Logic Colloquium 2014, 14 июля 2014, Вена, Австрия, секционный доклад.
Об автоматных представлениях проективных плоскостей (совместно с А.С. Денисенко), Мальцевские чтения 2012, 13 ноября 2012, Новосибирск, Россия, секционный доклад.
Undecidability of the theory of projective planes, Logic Colloquium 2009, 5 августа 2009, София, Болгария, секционный доклад.
The computable dimension of free projective planes, Computability in Europe 2008, 18 июня 2008, Афины, Греция, секционный доклад.
О невычислимости класса проективных плоскостей, Мальцевские чтения 2007, 13 ноября 2007, Новосибирск, Россия, секционный доклад.
The class of projective planes is not computable, Международная конференция “Вычислимость и модели”, 10 августа 2007, Новосибирск, Россия, секционный доклад.
Computable lists of I-algebras and complexity of some problems, Logic Colloquium 2004, 27 июля 2004, Турин, Италия, секционный доклад.