Programme of conference

• Algebraic systems
• Mathematical logic and cybernetics
• Mathematical education

Algebraic systems

August 25, Wednesday
Morning session

Chairman Makhnev A.A.

10:00 - 10:15 Opening of the conference

10:15 - 11:00 A. Glass Finitely generated sublattice subgroups of finitely presented lattice-ordered groups

11:00 - 11:05 Break

11:05 - 11:35 N. Medvedev On the theory of ordered groups

11:35 - 12:15 F. Point On the theories of finitely generated free abelian l-groups

12:15 - 12:20 Break

12:20 - 12:50 R. Lafuente-Rodrigues Divisibility in certain generalized linear groups and ordered groups

12:50 - 12:55 Break

12:55 - 13:35 R. Winkler Rooted wreath prodact representation of certain order preserving permutation groups

13:35 - 14:30 Lunch

August 25, Wednesday
Afternoon session

Chairman A.I. Budkin

14:30 - 14:50 A. A. Makhnev. On automorphisms of strongly regular graphs

14:50 - 15:00 A. V. Timofeenko. On a disposition of involutions in certain finite groups

15:00 - 15:20 A. V. Vasilev, M. A. Grechkoseeva. Recognition of finite simple groups by their spectrums

15:20 - 15:25 Break

15:25 - 15:55 A. M. Popova, S. V. Zhurkov. Groups of units of integer group rings

15:55 - 16:15 E. P. Vdovin. Carter subgroups of finite simple groups

16:15 - 16:30 A. M. Popov. On problems of V. P. Shunkov and A. I. Sozutov from Kourovka Notebook

16:30 - 16:35 Break

16:35 - 16:45 A. K. Shlepkin, F. G. Rubashkin. About groups saturated with dihedral groups

16:45 - 17:05 S. G. Kolesnikov. On a rationality and 2-reflexivity of wreath products of finite groups

17:05 - 17:10 Break

17:10 - 17:30 R. Borzooei Isomorphism theorems on hyper K-algebras

17:30 - 17:50 M. Zahedi A classification of hyper K-algebras of order 3 with respect to commutative hiper K-ideal of type 3

17:50 - 18:15 A. Zverev, A. V. Timofeenko. To the theory of convex polyhedra with regular faces

August 26, Thursday
Morning session

Chairman A. Glass

10:00 - 10:50 V. N. Remeslennikov New approaches to algorithmic problems

10:50 - 10:55 Break

10:55 - 11:25 V. V. Bludov On embedding of totally ordered groups in divisible orderable groups

11:25 - 11:30 Break

11:30 - 12:10 D. Mundici Schauder bases in projective lattice-ordered abelian groups

12:10 - 12:40 A. I. Budkin Dominions in quasivarieties of groups

12:40 - 13:10 S. S. Goncharov Computable groups of finite algorithmic dimention

13:10 - 13:40 V. M. Levchuk Isomorphisms of certain locally nilpotent finitary and associated rings

13:40 - 14:30 Lunch

August 26, Thursday
Afternoon session

Chairman V. M. Levchuk

14:30 - 14:45 S. Ya. Grinshpon. Determinability of abelian groups by their subgroups

14:45 - 15:00 E. A. Timoshenko. T-radicals in the category of Abelian groups

15:00 - 15:15 S. A. Shakhova. Lattices of dominions in quasivarieties of abelian groups

15:15 - 15:35 A. S. Kondratiev. Normalizers of Sylow 2-subgroups in finite simple groups

15:35 - 15:55 A. G. Rubashkin. About periodic groups saturated with groups L₂(pⁿ)

15:55 - 16:00 Break

August 26, Thursday
Evening session

Chairman V. N. Remeslennikov

16:00 - 16:15 A. A. Kuznetsov. To the problem of finiteness of B(2,5)

16:15 - 16:30 Ya. N. Nuzhin, M. A. Gazdaeva. On strongly real unipotent subgroups of Lie tipe groups

16:30 - 16:45 M. V. Yanchenko. On an existence of f-local subgroups in a group

16:45 - 17:00 V. N. Potapov. On decomposability of n-quasigroups of order four

17:00 - 17:10 P. S. Petrov. Grobner bases and Buchberger algorithm for group algebra of nilpotent groups

17:10 - 17:20 A. I. Kovyrshina. Fixed points in free nilpotent groups of rank three

Mathematical logic and cybernetics

August 25, Thursday
Morning session

Chairman N.A. Peryazev

10:00 - 10:15 Открытие конференции

10:20 - 10:55 A.S. Morozov О F-параметризуемых моделях

10:55 - 11:00 Break

11:00 - 11:35 A.G. Pinus Elementary theories of derived structures of free algebras

11:35 - 11:40 Break

11:40 - 12:15 D.E. Palchunov Model theoretical formalization of ontology

11:15 - 11:20 Break

12:20 - 12:55 V.B. Alekseyev Оценки числа дискретных функций из некоторых классов

13:00 - 14:00 Lunch

August 25, Thursday
Afternoon session

Chairman D.E. Palchunov, A.G. Pinus

14:00 - 14:35 V.G. Skobelev On Some Approach for Automata Representation via Groups

14:35 - 14:40 Break

14:40 - 15:15 I.I. Zakharchuk Решение задачи выбора лидера на клеточном автомате

15:15 - 15:20 Break

15:20 - 15:55 M.I. Golovanov Допустимые правила нестандартных нетранзитивных и полимодальных логик

15:55 - 16:00 Break

16:00 - 16:35 S.V. Sudoplatov On structures of powerful types

16:35 - 16:40 Break

16:40 - 17:15 E.A. Palyutin Stably definable classes of theories

17:15 - 17:20 Break

17:20 - 17:55 G. Ch. Tyumenceva Some questions of $Sigma^0$-definability

18:00 - 19:00 Supper

August 26, Thursday
Morning session

Chairman S.Ph.Vinokurov, V.I.Panteleev

10:00 - 10:20 S.P. Kovalev Алгебраические спецификации в экстремальном программировании

10:20 - 10:40 R.I. Podlovchenko On equivalent transformations in models of computations

10:40 - 10:50 Break

10:50 - 11:10 I.A. Vakula Об одном классе графов без 3-лап

11:10 - 11:30 A.S.Zinchenko, V.I.Panteleev On representation of multivalued functions via operators

11:30 - 11:40 Break

11:40 - 12:00 G.P. Egorychev Интегральное представление комбинаторных сумм и некоторые их приложения

12:00 - 12:15 A.N. Rybalov Relativizations of the P=?NP problem over complex number field

12:15 - 12:20 Break

12:20 - 12:35 N.L. Korshunova Нахождение представления булевых функций бесповторными термами над бинарным базисом

12:35 - 12:50 A.S.Balyuk О связи между сложностью полиномиальных и свободно кронекеровых форм булевых функций

12:50 - 13:10 K.D.Kirichenko О некоторых классах последовательностей булевых функций

13:00 - 14:00 Lunch

August 26, Thursday
Afternoon session

Chairman Скобелев В.Г.

14:00 - 14:20 A.S. Kazimirov Алгоритм частичной минимизации булевых функций в классе ПНФ

14:20 - 14:35 S.Ph.Vinokurov, L.V. Ryabec Термальное представление кронекеровых спектров

14:35 - 14:45 Break

14:45 - 15:00 I.L. Karpukova Двоичные диаграммы решений и их приложения

15:00 - 15:20 N.A.Peryazev, I.K. Sharankhaev Критерий бесповторности в некоторых элементарных базисах

Mathematical education

Chairman R.H. Latypov

August 26, Thursday

15:30 - 15:50 A.A. Moskvitin Task approach in informatics

15:50 - 16:10 T.A. Shiryaeva Mathematical statistics: problems of проблемы teaching and prospects

16:10 - 16:15 Break

16:15 - 16:30 A.I. Madyarov, V.I.Panteleev Система DM COMPLEX, обучающая решению типовых задач по курсу дискретной математики

16:30 - 16:45 L.N. Pobedin Problems of mathematical education

16:45 - 17:00 N.A.Peryazev, J.V.Peryazeva Types and styles of mathematical thinking