Structural Theory of Automata, Semigroups and Universal Algebra
Русский текст здесь >>>.
A conference on Structural Theory of Automata, Semigroups, and Universal Algebra (SMS-NATO ISI) will be held at the University of Montreal, Canada, from 7 – 18 July 2003.
Co-direcrors 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 fixed-point properties
L.N. SHEVRIN (Ural State).
M. STEINBY (Turku).
Algebraic classifications of regular tree languages
M.V. VOLKOV (Ural State).
Semigroup varieties: algorithmic and complexity-theoretical 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, Post-graduate student D.Uvarov as well as