Суббота, 14 августа

9.00-10.00 Пленарный доклад:

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

10.00-11.00 Пленарный доклад:

M.Peretyat'kin Polar construction of finitely axiomatizable theories

10.00-11.00 Пленарный доклад:

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

14.00-15.00 Семинар по теории вычислимости:

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

15.00-15.30 Закрытие конференции

15.30-18.00 Работа секций