Contributed talks

Abstracts of Contributed Talks / Recordings of Contributed Talks

  • Serikzhan Badaev, Birzhan Kalmurzayev, Nazgul Mukash, and Manat Mustafa, On one-element Rogers semilattices in the Ershov hierarchy [slides]

  • Evgeny Kolmakov, A note on isomorphisms of provability algebras [slides]

  • Ruslan Kornev, Computable reducibility for metrics on the real line [slides]

  • Alexander Kravchenko, Anvar Nurakunov, and Marina Schwidefsky, Algorithmic problems for quaivarieties [slides]

  • Andrey Morozov, Vadim Puzarenko, and Marat Faizrakhmanov, On the problem of degree spectra for permutation groups [slides]

  • Maxim Zubkov, Low linear orders which have computable copies [slides]