Programme of 14th International Summer School-Conference “Problems Allied to Universal Algebra and Model Theory” in occasion of 75th Birhtday of Professor Bruno Poizat
Time GMT+7
School-Conference will be held online with access via Zoom: https://zoom.us/j/2887138399
June 23, Wednesday
Meeting records: https://cloud.mail.ru/stock/e2zJfEnrqehroubNDRisQG6N, https://cloclo-stock4.datacloudmail.ru/stock/get/83NooGsi5HrCehEzSgChDevojWekYit6tcWpuEoCYJ9spnJfZYzNEM4uMxPXT36UWGgGY7xn6cbE/210623_2.mp4
8:55am – 9:00am Opening Ceremony
Chairman S. Sudoplatov
9:00am – 9:50am S. Goncharov (Novosibirsk, Russia), Semantic modeling and programming
10:00am – 10:50am A. Stepanova (Vladivostok, Russia), On axiomatizability of some classes of polygons over monoids
11:00am – 11:30am A. Pinus (Novosibirsk, Russia), On some non-traditional relations on spaces of functional clones
11:40am – 12:30pm N. Peryazev (Saint-Petersburg, Russia), Logic of multioperations
Chairman A. Borovik
4:00pm – 4:50pm Ye. Baissalov (Nur-Sultan, Kazakhstan), Minimal algebras
5:00pm – 5:20pm V. Verbovskiy, with J. Baldwin (Almaty, Kazakhstan; Chicago, USA), On definable closure in Hrushovski’s strongly minimal generic structures
6:00 – 6:20pm A. Berkman (Istanbul, Turkey), Groups of finite Morley rank with a generically multiply transitive action
Chairman S. Sudoplatov
7:00pm – 7:50pm A. Borovik (Manchester, UK), Finite groups and groups of finite Morley rank: more connections
8:00pm – 8:50pm B. Poizat (Lyon, France) Jubilee Talk: Positive Set Theory
9:00pm Congratulations
June 24, Thursday
Meeting records: https://cloud.mail.ru/stock/e5WQTpUJ53R7PNywbUtW5Bu4
Chairman A. Stepanova
9:00am – 9:50am B. Baizhanov (Almaty, Kazakhstan), On the properties of 2-formulas on the set of all realizations of convex closure of 1-type in small ordered theories
10:00am – 10:50am B. Kulpeshov (Almaty, Kazakhstan; Novosibirsk, Russia), Criterion for binarity of almost omega-categorical weakly o-minimal theories
11:00am – 11:50am N. Kasymov, with R.Dadajanov and S. Djavliyev (Tashkent, Uzbekistan), Degrees of algorithmic representativity of linear orders
12:30pm – 12:50pm P. Kolesnikov (Novosibirsk, Russia), Derivative identities of differential algebras
Chairman P. Kolesnikov
3:00pm – 3:20pm S. Zhavliyev, with N. Kasymov (Tashkent, Uzbekistan), Negative enumerations of linear orders with endomorphisms
3:30pm – 3:50pm I. Khodzhamuratova, with N. Kasymov (Tashkent, Uzbekistan), On representativity of translation complete universal algebras over negative equivalences
4:00pm – 4:20pm D. Eremenko (Saint-Petersburg, Russia), Minimal algebras of binary operations of rank 3
4:30pm – 4:50pm S. Todikov (Saint-Petersburg, Russia), Comparison of expressive capabilities of different languages of multioperations
Chairman B. Poizat
7:00pm – 7:50pm P. Koiran (Lyon, France), The incredible shrinking algebraic computation model
8:00pm – 8:50pm G. Cherlin (New Brunswick, USA), Metrically homogeneous graphs and distance semigroups
June 25, Friday
Meeting records: https://cloud.mail.ru/stock/5955TDj1kM6MDHx1TV8ieKnX
Chairman E. Poroshenko
10:00am – 10:50am V. Levchuk, with O. Kravtsova (Krasnoyarsk, Russia), Some questions of algebraic and geometric systems
11:00am – 11:50am E.I. Timoshenko (Novosibirsk, Russia), Bases of partially commutative groups
Noon – 12:50pm A. Pozhidaev (Novosibirsk, Russia), On simple right-symmetric (pre-Lie) algebras
Chairman N. Peryazev
3:00pm – 3:20pm M. Schwidefsky, with Yu. Ershov (Novosibirsk, Russia), On function spaces
3:30pm – 3:50pm A. Popova, with O. Bryukhanov (Novosibirsk, Russia), Some algorithmic questions of factorization of integer group rings
4:00pm – 4:20pm O. Bryukhanov, with V. Bardakov and M. Neshchadim (Novosibirsk, Russia), On nilpotent approximability of some extensions
4:30pm – 4:50pm I. Zotov, with V. Levchuk (Krasnoyarsk, Russia), The Mal’tsev correspondence and local automorphisms of nil-triangular algebras
5:00pm – 5:50pm A. Iwanow (Gliwice, Poland), Amenability and computable groups
6:00pm – 6:20pm K. Duda (Wroclaw, Poland), Computable paradoxical decompositions of computable groups
6:30pm – 7:20pm P. Stefaneas, with D. Zafeirakopoulos, (Athens, Greece), Remarks on Deontic Logic and Artificial Intelligence
June 26, Saturday
Meeting records: https://cloud.mail.ru/stock/341iFmkMevM4WUdAiuXxMNjU
Chairman N. Kasymov
10:00am – 10:50am A. Yeshkeyev (Karaganda, Kazakhstan), Jonsson spectrum and its models
11:00am – 11:50am R. Sklinos (Beijing, China), Fields interpretable in the free group
Chairman Ye. Baissalov
3:00pm – 3:20pm N. Mussina N., with M. Kasymetova and N. Popova (Karaganda, Kazakhstan), Companions of hybrids of fragments of definable subsets
3:30pm – 3:50pm M. Omarova, with A. Yeshkeyev and O. Ulbrikht (Karaganda, Kazakhstan), The number of perfect fragments of the Jonsson spectrum of the class of existentially closed models of an arbitrary signature
4:00pm – 4:20pm A. Isayeva, with A. Yeshkeyev and N. Shamatayeva (Karaganda, Kazakhstan), Small models of fagments of Jonsson sets
5:00pm – 5:20pm B.K. Gupta (Barabanki UP, India), Big Data : Unstructured Information as Boon and Bane
5:30pm – 5:50pm M.E. Ogiugo (Ibadan, Nigeria), The number of subgroup chains in the cartesian product of Z_p X S_4 (p is any prime)
June 27, Sunday
Meeting records: https://cloud.mail.ru/stock/5d3V8P9DDmG5xL6J3GhodRb2
Chairman B. Kulpeshov
10:00am – 10:50am S. Sudoplatov (Novosibirsk, Russia), Characteristics for families of theories
11:00am – 11:30am N. Markhabatov (Novosibirsk, Russia; Taraz, Kazakhstan), Model-theoretic and topological properties of families of theories
11:40am – 12:10pm D. Emelyanov (Novosibirsk, Russia), Algebras of binary isolating formulas
Chairman V. Verbovskiy
3:00pm – 3:20pm D. Vlasov (Novosibirsk, Russia), Semantic programming and unified semantics of algebraic, logical and functional operators
3:30pm – 3:50pm S. Gusev, with E.W.H. Lee (Yekaterinburg, Russia; Fort Lauderdale, USA), Cancellable elements of the lattice of monoid varieties
4:00pm – 4:20pm O. Voronina (Petropavlovsk, Kazakhstan), On simultaneous reduction of elements of abelian groups and vector spaces to positive form
4:30pm – 4:50pm S. Lutsak, with O. Voronina (Petropavlovsk, Kazakhstan), On complexity of quasivariety lattices of Lukasiewicz algebras
5:00pm – 5:20pm A. Kasatova (Nur-Sultan, Kazakhstan), Properties of quasivarieties of complete theories
5:30pm – 5:50pm A. Dauletiyarova, with S. Sudoplatov (Novosibirsk, Russia), On some expansions of dense orders
June 28, Monday
Meeting records: https://cloud.mail.ru/stock/6G9Y9UgqY6bve5Kw13gJSzE1, https://cloud.mail.ru/stock/iHcFNHEL9qfvb7Jo6QN4gvC2
Chairman E.I. Timoshenko
10:00am – 10:20am M. Zonov, with E.A. Timoshenko (Tomsk, Russia), On nilradicals of E-rings
10:30am – 10:50am N. Galanova (Tomsk, Russia), On some examples of real closed fields
11:00am – 11:20am A. Zabarina, with E.Fomina (Tomsk, Russia), On some properties of the set K_p in finite groups
11:30am – 11:50am F. Dudkin (Novosibirsk, Russia), Finite index subgroups of non-large generalized Baumslag-Soliter groups
Chairman A. Pozhidaev
3:00pm – 3:20pm E. Poroshenko (Novosibirsk, Russia), Splitting partially commutative Lie algebras into direct sums
3:30pm – 3:50pm A. Galt (Novosibirsk, Russia), On Thompson’s problem in primitive groups
4:00pm – 4:20pm K. Tulenbayev, with A. Dzhumadil’daev (Almaty, Kazakhstan), Nagata Theorem for algebras close to Novikov
4:30pm – 4:50pm V. Gubarev (Novosibirsk, Russia), Rota-Baxter operators on the conformal loop algebra over sl(2,C)
5:00pm – 5:20pm A. Staroletov (Novosibirsk, Russia), On 3-generated algebras of monster type
5:30pm – 5:50pm A. Petukhov (Moscow, Russia), Primitive ideals and Nil-Dynkin Lie algebras
6:00pm – 6:20pm A. Zenkov (Barnaul, Russia), On idempotents of the semigroup of varieties of m-groups
6:30pm Closing Ceremony