Invited Speakers
Marta Fiori Carones (Sobolev Institute of Mathematics, Russia), Primitive recursive reverse mathematics [abstract] [slides]
Su Gao (Nankai University, China), The Scott rank of computable structures and the isomorphism relation [abstract] [slides]
Denis Hirschfeldt (University of Chicago, USA), Computability-theoretic reduction games in reverse mathematics [abstract] [slides]
Stepan Kuznetsov (Steklov Mathematical Institute, Russia), Kleene star in substructural logics [abstract] [slides]
Steffen Lempp (University of Wisconsin–Madison, USA), Toward deciding the ∀∃-theory of the Σ^0_2-enumeration degrees [abstract] [slides]
Lu Liu (Central South University, China), Does subclass of left-c.e. supermartingales define 1-randomness [abstract] [slides]
Alexei Miasnikov (Stevens Institute of Technology, USA), First-order classification and non-standard models [abstract]
Joseph Miller (University of Wisconsin–Madison, USA), Generic Muchnik reducibility [abstract] [slides]
Andrey Morozov (Sobolev Institute of Mathematics, Russia), On holographic structures [abstract] [slides]
Vladimir Podolskii (Steklov Mathematical Institute, Russia), Majority circuits and sorting networks of small depth [abstract] [slides]
Reed Solomon (University of Connecticut, USA), Well orderings of graphs [abstract] [slides]
Stanislav Speranski (Steklov Mathematical Institute, Russia), Complexity for Kripke’s theory of truth [abstract] [slides]
Liang Yu (Nanjing University, China), Some applications of recursion theory to geometric measure theory [abstract] [slides]
Dmitry Zhuk (Moscow State University, Russia), On the complexity of the Quantified Constraint Satisfaction Problem [abstract] [slides]
Maxim Zubkov (Kazan Federal University, Russia), "Jump inversion" for linear orders [abstract] [slides]