24 июня, понедельник | |
830 - 915 | Регистрация участников - Институт математики, аудитория 309 |
915 - 925 | Открытие школы - Институт математики, аудитория 306 |
24 июня, понедельник, Институт математики, аудитория 306 Утреннее заседание. Председательствующий - проф. С.А.Бадаев | |
930 - 1020 | Сергей Савостьянович Гончаров (Россия), Вычислимость и автоустойчивость |
1020 - 1040 | Кофе-брэйк |
1040 - 1130 | Julia Knight (USA), Isomorphism Problems |
1140 - 1230 | Dieter Spreen (Germany), On the Effective Continuity of Effective Multifunctions |
24 июня, понедельник, Институт математики, аудитория 306 Послеобеденное заседание. Председательствующий - проф. М.М.Арсланов | |
1430 - 1500 | Павел Евгеньевич Алаев (Россия), Вычислимые однородные булевы алгебры |
1510 - 1530 | Куаныш Аблаевич Мейрембеков (Казахстан), Функция Рыль-Нардзевского счетно категоричных теорий |
1530 - 1550 | Кофе-брэйк |
1550 - 1605 | Асылхан Назифович Хисамиев (Россия), Условия вычислимой вложимости и степени абелевых групп и булевых алгебр |
1610 - 1625 | Екатерина Борисовна Фокина (Россия), О степенях несчетно категоричных моделей с вычислимыми моделями |
1630 - 1645 | Ержан Рахметтоллаевич Байсалов (Казахстан), О гипотезе Эрдеша-Вудса |
25 июня, вторник, Институт математики, аудитория 306 Утреннее заседание. Председательствующий - проф. S.B.Cooper | |
930 - 1020 | John Case (USA), A Computability-Theoretic Learning Theory Sampler |
1020 - 1040 | Кофе-брэйк |
1040 - 1130 | Frank Stephan (Germany), Learning Classes of Approximations to Non-Recursive Functions |
1140 - 1230 | Искандер Шагитович Калимуллин (Россия), Оператор скачка определим в степенях по перечислимости |
25 июня, вторник, Институт математики, аудитория 306 Послеобеденное заседание. Председательствующий - проф. J.Knight | |
1430 - 1520 | Марат Мирзаевич Арсланов (Россия), В.п. и n-в.п. степени и степени без неподвижных точек |
1520 - 1540 | Кофе-брэйк |
1540 - 1555 | Назиф Гарифуллинович Хисамиев (Казахстан), Виталий Анатольевич Романьков (Россия), Конструктивные матричные и упорядоченные группы |
1600 - 1615 | Анна Валерьевна Ромина (Казахстан), Автоустойчивость моделей в допустимых множествах |
1620 - 1635 | Джамалбек Алиаскарович Тусупов (Казахстан), Обобщенная вычислимость на счетных булевых алгебрах |
1640 - 1655 | Пердебек Досанбай (Казахстан), Определимость в арифметических структурах |
27 июня, четверг, Институт математики, аудитория 306 Утреннее заседание. Председательствующий - проф. Yang Yue | |
930 - 1020 | Klaus Keimel (Germany), Domain theoretical models for probability and measure |
1020 - 1040 | Кофе-брэйк |
1040 - 1130 | Серикжан Агыбаевич Бадаев (Казахстан), Арифметические нумерации |
1140 - 1230 | |
27 июня, четверг, Институт математики, аудитория 306 Послеобеденное заседание. Председательствующий - проф. М.Г.Перетятькин | |
1430 - 1450 | Вячеслав Порфирьевич Добрица (Казахстан), О предельно конструктивных моделях |
1500 - 1520 | Павел Михайлович Семухин (Россия), Спектр идеала безатомных элементов |
1520 - 1540 | Кофе-брэйк |
1540 - 1555 | Абыз Темиргалиевич Нуртазин (Казахстан), Два свойства счетно категоричных универсалов |
1600 - 1615 | Бейбут Шайыкович Кулпешов (Казахстан), О некоторых свойствах слабо o-минимальных теорий |
1620 - 1630 | Станислав Леонидович Березнюк (Россия), О гиперарифметических нумерациях |
1635 - 1650 | Олег Викторович Кудинов (Россия), |
28 июня, пятница, Институт математики, аудитория 306 Утреннее заседание. Председательствующий - проф. A.Sorbi | |
930 - 1020 | Михаил Георгиевич Перетятькин (Казахстан), Алгебра Линденбаума логики предикатов и ее структура |
1020 - 1040 | Кофе-брэйк |
1040 - 1130 | Сергей Юрьевич Подзоров (Россия), Алгебраические свойства полурешеток Роджерса арифметических нумераций |
1140 - 1155 | Асель Аскаровна Алтаева (Казахстан), Предполные арифметические эквивалентности |
1200 - 1220 | Зариф Гарифуллинович Хисамиев (Казахстан), О пополнениях арифметических нумераций |
27 июня, пятница, Институт математики, аудитория 306 Послеобеденное заседание. Председательствующий - проф. С.С.Гончаров | |
1430 - 1520 | John Case (USA), Machine Learning for a Genomics Analogy Problem |
1520 - 1530 | Закрытие школы |