Программа 17-й Международной летней школы-конференции «Пограничные вопросы теории моделей и универсальной алгебры» (Новосибирское время, GMT+7, подключение по ссылке https://imsoran.ktalk.ru/hilwpnoffy26 19-20 июня 2025 г.)
| 19 Июня | 20 Июня | 22 Июня | 24 Июня | 25 Июня |
| Конференц-зал ИМ СО РАН, Председатель С.В. Судоплатов 9:00 – 9:10 Открытие конференции 9:10 – 9:50 Степанова Алёна Андреевна, Ефремов Евгений Леонидович, Чеканов Сергей Геннадьевич, Владивосток, О стабильности класса псевдоконечных полигонов (online) 9:55 – 10:35 Байжанов Бектур Сембиевич, Алматы, Казахстан, Счетные модели малых упорядоченных теорий (online) 10:40 – 11:20 Rizos Sklinos, Beijing, China, First-order sentences in random groups (online) 11:20 – 11:50 Coffee Break 11:50 — 12:30 Mohammad Shahryari, Omar Al-Raisi, Muscat, Oman, Finite CSA groups and generalizations (online) 12:35 – 13:15 Bruno Poizat, Lyon, France, Logicians and Geometers on Algebraic Groups (online) 13:20 – 14:00 Стукачёв Алексей Ильич, Новосибирск, Union, Intersection and Comparison of Linguistic Structures Конференц-зал ИМ СО РАН, Председатель В.В. Вербовский 15:00 – 15:40 Aleksander Iwanow, Opole, Poland, Homogeneous structures associated with complete theories of two variables (online) 15:45 – 16:25 Gábor Czédli, Szeged, Hungary, Counting congruences: the largest and beyond for lattices, and the maximum for congruence-distributive algebras (online) 16:25 – 16:50 Coffee Break 16:50 – 17:10 Кравцова Ольга Вадимовна, Красноярск, Квазиполя с условием Холла 17:15 – 17:45 Сулейманова Галина Сафиуллановна, Абакан, О графовых автоморфизмах точных обертывающих алгебр алгебры Шевалле (online) 17:50 – 18:20 Соломатин Денис Владимирович, Омск, On minimally complete Martynov’s semigroups with zero (online) 18:25 – 18:45 Сахаров Игорь Александрович, Владивосток, О семантической и синтаксической жесткости проективных унаров (online) 18:50 – 19:10 Савин Антон Сергеевич, Новосибирск, Спектры сферической упорядочиваемости конечных групп | Конференц-зал ИМ СО РАН, Председатель Б.Ш. Кулпешов 9:00 – 9:40 Желябин Виктор Николаевич, Мамонтов Андрей Сергеевич, Новосибирск, Just-infinite Jordan Banach algebras (online) 9:45 – 10:25 Колесников Павел Сергеевич, Новосибирск, Simple finite Novikov conformal algebras 10:30 – 11:10 Одинцов Сергей Павлович, Новосибирск, Слабо импликативные логики: подходы к определению дефинициальной эквивалентности и определимости 11:10 – 11:40 Coffee Break 11:40 – 12:20 Кожухов Игорь Борисович, Москва, Артиновость и нетеровость в полигонах над полугруппами и их обобщения (online) 12:25 – 13:05 Поляков Николай Львович, Савельев Денис Игоревич, Москва, О предпорядках между предпорядками Рудин-Кейслера и Комфорта и теоретико-модельной характеризации предпорядка Комфорта 13:10 – 13:50 Усольцев Вадим Леонидович, Волгоград, Конгруэнц-алгебры Риса в некоторых подклассах класса алгебр с одним оператором и основными тернарной и нульарными операциями (Rees congruence algebras in some subclasses of class of algebras with one operator and main ternary and nullary operations) Конференц-зал ИМ СО РАН, Председатель Н.Л. Поляков 15:00 – 15:30 Asterios Gkantzounis, Foivos Skarpelos, Athens, Greece, Logical Topologies and Seperation Axioms in the Institution-Independent Model Theory Framework (online) 15:35 – 15:55 Давлатбеков Акимбек Авалбекович, Денау, Узбекистан, О гомоморфизмах парастрофов линейных и алинейных квазигрупп (online) 16:00 – 16:20 Чубий Александр Евгеньевич, Новосибирск, О структурных объединениях моделей (online) 16:20 – 16:40 Coffee Break 16:40 – 17:00 Попова (Ивлева) Ася Михайловна, Новосибирск, On automorphisms of the integral group rings of finite groups (online) 17:05 – 17:25 Брюханов Олег Вадимович, Новосибирск, Bijections of a group which commute with its automorphisms (online) 17:30 – 17:50 Храмченок Дмитрий Сергеевич, Москва, Аксиоматизируемость классов полигонов и полумодулей (online) 17:55 – 18:15 Малышев Сергей Борисович, Новосибирск, Геометрические свойства элементарных теорий 18:20 – 18:40 Емельяненков Иван Александрович, Новосибирск, Продолжение автоморфизмов счётных моделей при элементарных вложениях | Эрлагол, Председатель С.В. Судоплатов 9:00 – 9:40 Миронов Андрей Евгеньевич, Новосибирск, Алгебраическая неинтегрируемость магнитных бильярдов 9:50 – 10:30 Пржиялковский Виктор Владимирович, Москва, Уровень Ходжа взвешенных полных пересечений 10:40 – 11:20 Бондал Алексей Игоревич, Москва, Категорный подход к теории сложности вычислений 11:30 — 12:20 Попеленский Федор Юрьевич, Москва, Пространства с кватернионым сопряжением 12:20 – 13:00 Щучкин Николай Алексеевич, Волгоград, Тернарные L-квазигруппы и их приложения для преобразования слов Эрлагол, Председатель Н.А. Щучкин 15:00 – 15:40 Ткачев Дмитрий Леонидович, Бибердорф Элина Арнольдовна, Новосибирск, О спектре линейной модели, описывающей течение полимерной жидкости в бесконечном цилиндрическом канале 15:45 – 16:05 Мищенко Евгения Васильевна, Новосибирск, Фреймы и некоторые свойства фреймов в конечномерных пространствах 16:10 – 16:30 Инь Сыяо, Новосибирск, Billiard Trajectories inside Cones 16:35 – 17:05 Даурцева Наталия Александровна, Новосибирск, О реализации различных классов почти эрмитовых структур на многообразиях размерности 6 | Эрлагол, Председатель А.П. Пожидаев 9:00 – 9:40 Кулпешов Бейбут Шайыкович, Алматы, Казахстан, The number of countable models and algebras of binary isolating formulas 9:50 – 10:30 Вербовский Виктор Валериевич, Алматы, Казахстан, О свойствах функций в упорядоченных о-стабильных группах конечного ранга выпуклости 10:40 – 11:20 Судоплатов Сергей Владимирович, Новосибирск, Сохранение свойств типами и обогащениями структур (Preservation of properties by types and expansions of structures) 11:30 – 12:10 Павлюк Инесса Ивановна, Новосибирск, Структурные свойства семейств теорий групп 12:20 – 13:00 Емельянов Дмитрий Юрьевич, Новосибирск, Алгебры бинарных формул для операций над графами Эрлагол, Председатель В.Ю. Губарев 15:00 – 15:30 Чехонадских Александр Васильевич, Новосибирск, Рудометкина Моника Николаевна, Томск, Построение гибкого процесса полиномиального синтеза системы с управлением пониженного порядка (Construction of polynomial design for a low order control system as a flexible process) 15:35 – 16:05 Галанова Наталия Юрьевна, Томск, О сечениях упорядоченных алгебраических структур 16:10 – 16:40 Забарина Анна Ивановна, Фомина Елена Анатольевна, Томск, О множествах Kp в некоторых конечных группах | Эрлагол, Председатель В.Л. Усольцев 9:00 – 9:40 Пожидаев Александр Петрович, Новосибирск, Изоморфизмы и автоморфизмы простых прелиевых алгебр и алгебр Новикова 9:50 – 10:30 Дудкин Федор Анатольевич; Новосибирск, Проблема изоморфизма групп, действующих на деревьях 10:40 – 11:20 Губарев Всеволод Юрьевич, Новосибирск, Операторы Роты — Бакстера нулевого веса на алгебре матриц 3-го порядка 11:30 – 12:00 Шапорина Елизавета Алексеевна, Новосибирск, О построении циклических расширений свободных групп 12:05- 12:35 Бучинский Иван Михайлович, Омск, Централизаторная размерность и нетеровость по уравнениям частично коммутативных двуступенно нильпотентных групп 12:40 – 13:00 Васенёва Анастасия Викторовна, Новосибирск, Ранги эквациональности семейств формул и элементарных теорий 13:00 Закрытие конференции |