Structural Theory of Automata, Semigroups and Universal Algebra
Русский текст здесь >>>.
A conference on Structural Theory of Automata, Semigroups, and Universal Algebra (SMSNATO ISI) will be held at the University of Montreal, Canada, from 7 – 18 July 2003.
Codirecrors of the conference are Acad. V.B. Kudryavtsev (Russia) and prof.
I. Rosenberg (Canada).
The conference program includes the following lecture cycles:
J. ALMEIDA (Porto).
Profinite semigroups and applications to computer science
J. BERMAN (Illinois at Chicago).
The structure of free algebras
J. DASSOW (Magdeburg).
Completeness of automata with respect to equivalence relations
R. FREIVALDS (Riga).
Quantum finite automata
A. KROKHIN (Warwick).
The complexity of constraint satisfaction: an algebraic approach
V.B. KUDRYAVTSEV (Moscow).
On the structural theory of automata
A. LETICHEVSKY (Acad. Sci. Kiev).
The algebra of behavioural transformations
R. McKENZIE (Vanderbilt).
Lectures on decidability and generative complexity...
I. ROSENBERG (Montrйal).
Uniformly delayed completeness and clones with fixedpoint properties
L.N. SHEVRIN (Ural State).
Epigroups
M. STEINBY (Turku).
Algebraic classifications of regular tree languages
M.V. VOLKOV (Ural State).
Semigroup varieties: algorithmic and complexitytheoretical aspects
The following scientists from the MaTIS chair are invited to take part in the Converence with the
financial support of the organizers:
Prof. V.B. Kudryavtsev, Junior researcher A.Galatenko, Associate professor V.Grunskaya,
Junior researcher V.Vladislavlev, Junior researcher A.Kirnasov,
Junior researcher A.Stepanenkov, Postgraduate student D.Uvarov as well as
Prof. V.L.Selivanov.
