Вторник, 10 августа

• 11.00-12.30 Посещение могилы А.И.Мальцева
• 12.30-14.00 Обед
• 14.00-14.30 Открытие конференции
• 14.30-15.30 Пленарный доклад. Ю.Л.Ершов
• 15.30-16.30 Пленарный доклад. J.Knight "Categoricity"
• 16.30-17.30 Пленарный доклад. L.Beklemishev "Induction for decidable relations and bounded query computation"

Среда, 11 августа

• 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 Обед
• 14.00-18.00 Работа секций
• 18.00 Банкет

Четверг, 12 августа

Экскурсии

Пятница, 13 августа

• 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 Обед
• 14.00-15.00 Пленарный доклад [в рамках рабочего семинара по теории рекурси] A.Sorbi название будет помещено позже
• 15.00-18.00 Работа секций

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

• 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 Обед
• 14.00-15.00 Пленарный доклад [в рамках рабочего семинара по теории рекурсии] Ansheng Li название будет помещено позже
• 15.00-15.30 Закрытие конференции
• 15.30-18.00 Работа секций

Воскресенье, 15 августа

День отъезда