## 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

## Thursday, 12 August

The day of rest and excursions

## Friday, 13 August

- 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

## Saturday, 14 August

- 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

## Sunday, 15 August

Departure day