| June 24, Monday, Institute of Mathematics | |
| 830 - 915 | Registration, Room 309 |
| 915 - 925 | Opening the Workshop, Room 306 |
| June 24, Monday Morning. Institute of Mathematics, Room 306. Chairman - Prof. S.A.Badaev | |
| 930 - 1020 | Sergey Goncharov (Russia), Computability and Autostability |
| 1020 - 1040 | Coffee-break |
| 1040 - 1130 | Julia Knight (USA), Isomorphism Problems |
| 1140 - 1230 | Dieter Spreen (Germany), On the Effective Continuity of Effective Multifunctions |
| June 24, Monday Afternoon. Institute of Mathematics, Room 306. Chairman - Prof. M.M.Arslanov. | |
| 1430 - 1500 | Pavel Alaev (Russia), Computable Homogenious Boolean Algrbras |
| 1510 - 1530 | Kuanysh Meirembekov (Kazakhstan), Ryll-Nardzewski Function of Countably Categorical Theories |
| 1530 - 1550 | Coffee-break |
| 1550 - 1605 | Asylkhan Khisamiev (Russia), Computable Imbeddability Condition and Degrees of Abelian Groups and Boolean Algebras |
| 1610 - 1625 | Ekaterina Fokina (Russia), On Degrees of Uncountably Categorical Theories with Computable Models |
| 1630 - 1645 | Yerzhan Baisalov (Kazakhstan), On Erdös-Woods Conjecture |
| June 25, Tuesday Morning. Institute of Mathematics, Room 306. Chairman - Prof. S.B.Cooper. | |
| 930 - 1020 | John Case (USA), A Computability-Theoretic Learning Theory Sampler |
| 1020 - 1040 | Coffee-break |
| 1040 - 1130 | Frank Stephan (Germany), Learning Classes of Approximations to Non-Recursive Functions |
| 1140 - 1230 | Iskander Kalimullin (Russia), The Jump Operator Is Definable in the Enumeration Degrees |
| June 25, Tuesday Afternoon. Institute of Mathematics, Room 306. Chairman - Prof. J.Knight. | |
| 1430 - 1520 | Marat Arslanov (Russia), Relatively c.e., n-c.e. and fixed-point free degrees |
| 1520 - 1540 | Coffee-break |
| 1540 - 1555 | Nazif Khisamiev (Kazakhstan), Vitalii Roman'kov (Russia), Constructive Matrix and Ordered Groups |
| 1600 - 1615 | Anna Romina (Kazakhstan), Autostability of Models in Admissible Structures |
| 1620 - 1635 | Dzhamalbek Tusupov (Kazakhstan), Generalized Computability on Countable Atom Boolean Algebras |
| 1640 - 1655 | Perdebek Dosanbai (Kazakhstan), Definability in Arithmetical Structures |
| June 27, Thursday Morning. Institute of Mathematics, Room 306. Chairman - Prof. Yang Yue. | |
| 930 - 1020 | Klaus Keimel (Germany), Domain theoretical models for probability and measure |
| 1020 - 1040 | Coffee-break |
| 1040 - 1130 | Serikzhan Badaev (Kazakhstan), Arithmetical Numberings |
| 1140 - 1230 | |
| June 27, Thursday Afternoon. Institute of Mathematics, Room 306. Chairman - Prof. M.G.Peretyat'kin. | |
| 1430 - 1450 | Vyacheslav Dobritsa (Kazakhstan), On the Limitly Constructible Models |
| 1500 - 1520 | Pavel Semukhin (Russia), Spectrum of the Atomless Elements Ideal |
| 1520 - 1540 | Coffee-break |
| 1540 - 1555 | Abyz Nurtazin (Kazakhstan), Two Properties of Countably Categorical Universals |
| 1600 - 1615 | Beibut Kulpeshov (Kazakhstan), On Some Properties of Weakly o-minimal Theories |
| 1620 - 1630 | Stanislav Bereznyuk (Russia), On Hyperarithmetical Numberings |
| 1635 - 1650 | Oleg Kudinov (Russia), |
| June 28, Friday Morning. Institute of Mathematics, Room 306. Chairman - Prof. A.Sorbi. | |
| 930 - 1020 | Mikhail Peretyat'kin (Kazakhstan), Lindenbaum Algebra of Predicate Logic and Its Structure |
| 1020 - 1040 | Coffee-break |
| 1040 - 1130 | Sergei Podzorov (Russia), Algebraic Properties of Rogers Semilattices of Arithmetical Numberings |
| 1140 - 1155 | Asel Altaeva (Kazakhstan), Precomplete Arithmetical Equivalences |
| 1200 - 1220 | Zarif Khisamiev (Kazakhstan), On Completion of Arithmetical Numberings |
| June 28, Friday Afternoon. Institute of Mathematics, Room 306. Chairman - Prof. S.S.Goncharov. | |
| 1430 - 1520 | John Case (USA), Machine Learning for a Genomics Analogy Problem |
| 1520 - 1530 | Closing the Workshop |