Upcoming meeting:

Meeting #964
Alexander Rybalov (Sobolev Institute of Mathematics)
"Generic complexity of the word problem in some semigroups."
Abstract. Generic algorithms decide problems for almost all inputs and ignore remaining rare inputs. I.Kapovich, A.Myasnikov, P.Schupp and V.Shpilrain in 2003 suggested a generic algorithm, which decides the word problem in a wide class of finitely generated groups, including classical groups with undecidable word problem. D. Won in 2008 proposed a generic algorithm for finitely defined semigroups with so called balanced presentation. In particular, classical MarkovPost, Tseitin and Makanin semigroups with undecidable word problems, all have balanced representation. In 2019 M. Volkov at the Sverdlovsk semigroup seminar asked me about generic decidability of the word problem in every semigroup with one relation. For the classical decidability this is a well known and still open Adjan problem. In this talk I will present a generic algorithm for the word problem in a wide class of finitely generated semigroups, including balanced semigroups and semigroups with one relation.
Latest announcements:

Meeting #963
Alexander Kornev (Universidade Federal do ABC)
"Embedding of Malcev and alternative algebras."
Abstract. We continue studying associative frepresentations, which was begun in A. I. Kornev, I.P. Shestakov, On associative representations of nonassociative algebras, J. Algebra Appl.,17, No. 3, 1850051 (2018). We are interested in finding identities that an algebra satisfies if it has a faithful frepresentation. We introduce the notions of gassociative and gLie algebras and we prove that any alternative (Malcev) algebra can be embedded into some gassociative (gLie) algebra. We show that any Malcev algebra can be embedded as a commutator subalgebra in some gassociative for two different polynomials g.

Meeting #962 (in Russian)
Artem Shevlyakov (Sobolev Institute of Mathematics)
"Varieties of equationally Noetherian semigroups and Plotkin`s problem."
Abstract. B.Plotkin posed a problem: find all varieties V of groups, where each G \in V is equationally Noetherian (i.e. any infinite system of equations is equivalent over G to a finite subsystem). In our talk we solve this problem for
a) semigroups
b) equations with constants
It will be obtained the description of such varieties by algebraic (structures of semigroups) and logical (set of identities) approaches. 
Meeting #961 (in Russian)
Irina Zubareva (Sobolev Institute of Mathematics)
"Abnormal extremals of abnormal subFinsler quasimetrics on fourdimensional Lie groups with threedimensional generating distributions."
Abstract. All threedimensional generating subspaces q of all fourdimensional real Lie algebras are found. Exact formulas for abnormal extremals are found for an arbitrary leftinvariant subFinsler quasimetric d on any fourdimensional connected Lie group G with Lie algebra g defined by the seminorm F on q. On the basis of the structure constants of the Lie algebra g and the seminorm dual to F on g*, a criterion is established for the (non)strict abnormality of these extremals.

Meeting #960 (in Russian)
Alexei Miasnikov (Stevens Institute of Technology) (Sobolev Institute of Mathematics)
"General algebraic schemes, nonstandard groups, and firstorder classification."
Abstract. In this talk I will discuss a new notion of an algebraic group scheme and the related class of “new” algebraic groups (which, of course, contains the classical ones). This leads to some interesting results on the firstorder classification problems and sheds new light on firstorder rigidity and quasifinite axiomatization. In another direction I will touch on nonstandard models of groups (aka nonstandard analysis), especially on nonstandard models of the finitely generated ones with decidable or recursively enumerable word problems.