L.Maksimova, S.Mardaev Definability in modal, intuitionistic and temporal logic
M.Peretyat'kin Polar construction
of finitely axiomatizable theories
K. Keimel Two problems in (Scott-Ershov-) domain theory
O.V.Kudinov Autostability and Complexity of Problems in Computable Model Theory
10.00-11.00 Plenary lecture:
10.00-11.00 Plenary lecture:
14.00-15.00 Workshop on computability theory:
15.00-15.30 Closing ceremony
15.30-18.00 Sections