Tuesday, 10 August

11.00-12.30 Visiting the tomb of A.I.Mal'tsev
12.30-14.00 Lunch
14.00-14.30 Opening ceremony
14.30-15.30 Yu. Ershov
15.30-16.30 J.Knight "Categoricity"
16.30-17.30 L.Beklemishev "Induction for decidable relations and bounded query computation"

Wednesday, 11 August

9.00-10.00 B.Zilber "Analytic and pseudo-analytic structures in Model Theory"
10.00-11.00 Koenigsmann "Elementary characterization of fields by their absolute Galois group"
11,00-12.00 E.Palyutin "Classificable normal theories".
12.00-14.00 Lunch
14.00-18.00 Sections
18.00 Banquet

The day of rest and excursions

9.00-10.00 S.Lempp "The algebraic structure of the Sigma^0_2-enumeration degrees"
10.00-11.00 S.Starchenko "On linear groups definable in o-minimal tructures"
11.00-12.00 J.Baldwin "Applications of stable amalgamation"
12.00-14.00 Lunch
14.00-15.00 [as Workshop on Recursion Theory] A.Sorbi title to be announced
15.00-18.00 Sections

9.00-10.00 L.Maksimova, S.I.Mardaev "Definability in modal, intuitionistic and temporal logics"
10.00-11.00 M.Peretyatkin "Polar construction of finitely axiomatizable theories"
11.00-12.00 D.Leivant "Intrinsic theories: a methodology for reasoning about functional programs and their computational complexity"
12.00-14.00 Lunch
14.00-15.00 [as Workshop on Recursion Theory] Ansheng Li title to be announced
15.00-15.30 Closing ceremony
15.30-18.00 Sections

Departure day