Programme of 17th International Summer School-Conference “Problems Allied to Model Theory and Universal Algebra” (Novosibirsk time, GMT+7, online streaming https://imsoran.ktalk.ru/hilwpnoffy26 at June 19-20, 2025)
| 19 June | 20 June | 22 June | 24 June | 25 June |
| Conference Hall at Sobolev Institute of Mathematics, Chairman S.V.Sudoplatov 9:00 – 9:10 Opening Ceremony 9:10 – 9:50 Stepanova Alena Andreevna, Efremov Evgeny Leonidovich, Chekanov Sergey Gennadievich, Vladivostok, On the stability of the class of pseudo-finite polygons(online) 9:55 – 10:35 Baizhanov Bektur Sembievich, Almaty, Kazakhstan, Countable models of small ordered theories(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 Stukachev Alexey Ilyich, Novosibirsk, Union, Intersection and Comparison of Linguistic Structures Conference Hall at Sobolev Institute of Mathematics, Chairman V.V.Verbovskiy 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 Kravtsova Olga Vadimovna, Krasnoyarsk, Quasi-fields with Hall’s condition 17:15 – 17:45 Suleymanova Galina Safiullanovna, Abakan, On graph automorphisms of exact enveloping algebras of the Chevalley algebra (online) 17:50 – 18:20 Solomatin Denis Vladimirovich, Omsk, On minimally complete Martynov’s semigroups with zero (online) 18:25 – 18:45 Sakharov Igor Aleksandrovich, Vladivostok, On the semantic and syntactic rigidity of projective unars (online) 18:50 – 19:10 Savin Anton Sergeevich, Novosibirsk, Spectra of spherical orderability of finite groups | Conference Hall at Sobolev Institute of Mathematics, Chairman B.Sh.Kulpeshov 9:00 – 9:40 Zhelyabin Viktor Nikolaevich, Mamontov Andrey Sergeevich, Novosibirsk, Just-infinite Jordan Banach algebras (online) 9:45 – 10:25 Kolesnikov Pavel Sergeevich, Novosibirsk, Simple finite Novikov conformal algebras 10:30 – 11:10 Odintsov Sergey Pavlovich, Novosibirsk, Weakly implicative logics: approaches to defining definitional equivalence and definability 11:10 – 11:40 Coffee Break 11:40 – 12:20 Kozhukhov Igor Borisovich, Moscow, Artinian and Noetherian properties in polygons over semigroups and their generalizations(online) 12:25 – 13:05 Polyakov Nikolay Lvovich, Savelyev Denis Igorevich, Moscow, On preorders between Rudin-Keisler and Comfort preorders and a model-theoretic characterization of the Comfort preorder 13:10 – 13:50 Usol’tsev Vadim Leonidovich, Volgograd, Rees congruence algebras in some subclasses of class of algebras with one operator and main ternary and nullary operations Conference Hall at Sobolev Institute of Mathematics, Chairman N.L.Polyakov 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 Davlatbekov Akimbek Avalbekovich, Denau, Uzbekistan, On homomorphisms of parastrophes of linear and alinear quasigroups (online) 16:00 – 16:20 Chubiy Alexander Evgenievich, Novosibirsk, On structural unions of models(online) 16:20 – 16:40 Coffee Break 16:40 – 17:00 Popova (Ivleva) Asya Mikhailovna, Novosibirsk, On automorphisms of the integral group rings of finite groups (online) 17:05 – 17:25 Bryukhanov Oleg Vadimovich, Novosibirsk, Bijections of a group which commute with its automorphisms (online) 17:30 – 17:50 Khramchenok Dmitry Sergeevich, Moscow, Axiomatizability of classes of polygons and semimodules(online) 17:55 – 18:15 Malyshev Sergey Borisovich, Novosibirsk, Geometrical properties of elementary theories 18:20 – 18:40 Emelyanenkov Ivan Aleksandrovich, Novosibirsk, Continuation of automorphisms of countable models under elementary embeddings | Erlagol, Chairman S.V.Sudoplatov 9:00 – 9:40 Mironov Andrey Evgenievich, Novosibirsk, Algebraic non-integrability of magnetic billiards 9:50 – 10:30 Przyjalkowski Viktor Vladimirovich, Moscow, Hodge level of weighted complete intersections 10:40 – 11:20 Bondal Alexey Igorevich, Moscow, A categorical approach to computational complexity theory 11:30 – 12:10 Popelensky Fedor Yurievich, Moscow, Spaces with quaternion conjugation 12:20 – 13:00 Shchuchkin Nikolay Alekseevich, Volgograd, Ternary L-quasigroups and their applications for word transformation Erlagol, Chairman N.A.Shchuchkin 15:00 – 15:40 Tkachev Dmitry Leonidovich, Biberdorf Ellina Arnoldovna, Novosibirsk, On the spectrum of a linear model describing the flow of a polymer liquid in an infinite cylindrical channel 15:45 – 16:05 Mishchenko Evgeniya Vasilievna, Novosibirsk, Frames and some properties of frames in finite-dimensional spaces 16:10 – 16:30 Yin Siyao, Novosibirsk, Billiard Trajectories inside Cones 16:35 – 16:55 Daurtseva Natalia Aleksandrovna, Novosibirsk, On the realization of various classes of almost Hermitian structures on manifolds of dimension 6 | Erlagol, Chairman A.P.Pozhidaev 9:00 – 9:40 Kulpeshov Beibut Shayikovich, Almaty, Kazakhstan, The number of countable models and algebras of binary isolating formulas 9:50 – 10:30 Verbovskiy Victor Valerievich, Almaty, Kazakhstan, On the properties of functions in ordered o-stable groups of finite convexity rank 10:40 – 11:20 Sudoplatov Sergey Vladimirovich, Novosibirsk, Preservation of properties by types and expansions of structures 11:30 – 12:10 Pavlyuk Inessa Ivanovna, Novosibirsk, Structural properties of families of group theories 12:20 – 13:00 Emelianov Dmitry Yuryevich, Novosibirsk, Algebras of binary formulas for operations on graphs Erlagol, Chairman V.Yu.Gubarev 15:00 – 15:30 Chekhonadskikh Alexander Vasilievich, Novosibirsk, Rudometkina Monika Nikolaevna, Tomsk, Construction of polynomial design for a low order control system as a flexible process 15:35 – 16:05 Galanova Natalia Yuryevna, Tomsk, On cuts of ordered algebraic structures 16:10 – 16:40 Zabarina Anna Ivanovna, Fomina Elena Anatolyevna, Tomsk, On the sets Kp in some finite groups | Erlagol, Chairman V.L.Usol’tsev 9:00 – 9:40 Pozhidaev Alexander Petrovich, Novosibirsk, Isomorphisms and automorphisms of simple Prelian algebras and Novikov algebras 9:50 – 10:30 Dudkin Fedor Anatolyevich; Novosibirsk, The problem of isomorphism of groups acting on trees 10:40 – 11:20 Gubarev Vsevolod Yuryevich, Novosibirsk, Rota-Baxter operators of zero weight on the algebra of matrices of the 3rd order 11:30 – 12:00 Shaporina Elizaveta Alekseevna, Novosibirsk, On the construction of cyclic extensions of free groups 12:05- 12:35 Buchinsky Ivan Mikhailovich, Omsk, Centralizer dimension and Noetherian property by equations of partially commutative two-step nilpotent groups 12:40 – 13:00 Vaseneva Anastasia Viktorovna, Novosibirsk, Ranks of equationality of families of formulas and elementary theories 13:00 Closing Ceremony |