Saturday, August 14

9.00-10.00 Plenary lecture:

L.Maksimova, S.Mardaev Definability in modal, intuitionistic and temporal logic

10.00-11.00 Plenary lecture:

M.Peretyat'kin Polar construction of finitely axiomatizable theories

10.00-11.00 Plenary lecture:

K. Keimel Two problems in (Scott-Ershov-) domain theory

14.00-15.00 Workshop on computability theory:

O.V.Kudinov Autostability and Complexity of Problems in Computable Model Theory

15.00-15.30 Closing ceremony

15.30-18.00 Sections