| 9:00:-10:00 | Registration |
| 10:00-10:10 | Welcome address by A. Vershik |
| 10:10-11:00 | Yu. Matiyasevich On possible logic approach to theorems in discrete mathematics |
| coffee break, chat | |
| 11:20-12:10 | B. Kastermans A coanalytic maximal cofinitary group |
| 12:10-14:00 | Lunch |
| 14:00-14:50 | A. Morozov (I) Symmetry and computability |
| coffee break, chat | |
| 15:10-16:00 | V. Tolstykh (I) Complete automorphism groups of relatively free groups |
| coffee break, chat | |
| 16:20-17:10 | G. Mints Effective content of non-effective proofs |
| 17:20-18:10 | M. Taitslin Some open problems in complexity theory |
| 10:00-10:50 | A.Morozov (II) Symmetry and computability |
| coffee break, chat | |
| 11:10-12:00 | V.Tolstykh (II) Complete automorphism groups of relatively free groups |
| 12:00-14:00 | Lunch |
| 14:00-14:50 | I. Ben-Yaacov Continuous logic and the model theory of metric structures |
| 15:00-15:50 | T. Hyttinen Banach space model theory and abstract elementary classes |
| coffee break, chat | |
| 16:10-17:00 | E. Gordon Commutative harmonic analysis in the hyperfinite mathematics |
| 17:10-18:00 | B. Velickovic Complexity of classification problems in group theory |
| 18:05-18:20 | Aleksander Ivanov Group actions on trees and definability |
| 18:25-18:40 | Sergej Sudoplatov Infinite weight in stable generic graphs without furcations |
| 10:00-10:50 | A.Morozov (III) Symmetry and computability |
| coffee break, chat | |
| 11:10-12:00 | V.Tolstykh (III) Complete automorphism groups of relatively free groups |
| 12:00-14:00 | Lunch |
| 14:00-14:50 | Marc Rosso Braids: from logic to physics via combinatorics and quantum groups |
| 15:00-15:50 | A. Blass Self-dual quantifiers |
| coffee break, chat | |
| 16:10-17:00 | A. Vershik Rigigity of Urysohn space and Kantorovich functor |
| 17:10-18:00 | O. Kharlampovich On elementary theories of free groups |
| Banquet |
| 10:00-10:50 | A.Myasnikov (I) Asymptotic algebra and modern cryptanalysis |
| coffee break, chat | |
| 11:10-12:00 | N. Shanin About basic notions of finitary mathematics |
| 12:00-14:00 | Lunch |
| 14:00-14:50 | R. Gilman Generic complexity |
| 15:00-15:50 | N. Makarenko The method of generalized centralizers in group and ring theory |
| coffee break, chat | |
| 16:10-17:00 | T. Yavorskaya Logic of proofs and labels |
| 17:10-18:00 | P. Andreev Relative standardness |
| 10:00-10:50 | A.Myasnikov (II) Asymptotic algebra and modern cryptanalysis |
| coffee break, chat | |
| 11:10-12:00 | A. Shen Kolmogorov complexity and proof theory: a question |
| 12:00-14:00 | Lunch |
| 14:00-14:50 | V. Remeslennikov Free partially commutative groups |
| 15:00-15:50 | I. Kazachkov Orthogonality theory in graphs and the lattice of centralisers in free partially commutative groups |
| coffee break, chat | |
| 16:10-17:50 | Contribute Talks |
| 16:10-16:25 | Pavel Morar Calculation of the spectral radius for a series of groups |
| 16:30-16:45 | Evgenij Esyp Divisibility theory for R.Thompson group |
| 16:45-17:00 | Coffee break, chat |
| 17:00-17:15 | Alexander Rybalov On Generic decidability of the halting Problem |
| 17:15-17:30 | Ekaterina FokinaComplexity of theories of computable models |
| 10:00-10:50 | A.Myasnikov (III) Asymptotic algebra and modern cryptanalysis |
| coffee break, chat | |
| 11:10-12:00 | P. Zograf Tensor networks and enumeration problems in graphs |
| 12:10-13:00 | R. Yavorsky On provability logic with quantifiers on proofs |
| 12:00-12:10 | Closing Remarks by Anatoly Vershik, Andreas Blass |
| 12:10-14:00 | Lunch |