http://logic.pdmi.ras.ru/csr2011/wuacs
A Satellite Workshop to CSR 2011 (6th International Conference Computer Science in Russia),
14–18 June 2011, St Petersburg, Russia, http://logic.pdmi.ras.ru/csr2011/
Links between universal algebra and theoretical computer science are numerous and studying them
has proved to be productive for both the theories. In fact, theoretical computer science provides
the most essential source of problems for modern universal algebra while algebraic methods and
techniques constitute a major ingredient of the toolbox of modern computer science.
A lucky coincidence is that a representative international conference on universal algebra,
see http://2oal.tcs.uj.edu.pl , will be held in Krakow, Poland, from June 6th to 10th, 2011,
that is, exactly before CSR 2011. This creates a very convenient opportunity to bring together
researchers with a common interest in universal algebra and its applications in computer science.
Submissions of interesting theoretical and applied results related to both fields are encouraged.
Topics include (but are not limited to):
* Applications of universal algebra in the constraint satisfaction problem
* Extensions of algebraic methods in soft and valued CSPs, and other related problems
* Infinite CSPs, and logic and algebraic methods for infinite CSPs
* Expressiveness and equivalence of logic formulas over algebras and relational structures
* Algorithms and complexity in universal algebra
* Algebraic models for automata and language theory
Survey talks, preliminary results, developments of published results, and work in progress are welcome.
Prospective speakers are invited to submit a 1–2 pages abstract which provides sufficient detail
to allow the program committee to assess the merits of the proposal. Abstracts should be submitted
to Mikhail.Volkov@usu.ru
Invited speakers:
* Marcel Jackson, La Trobe University, Bundoora, Australia
* Ralph McKenzie, Vanderbilt University, Nashville, USA
Organizers:
* Mikhail Volkov, Ural State University, Ekaterinburg, Russia
* Andrei Bulatov, Simon Fraser University, Canada
Important Dates:
* Submission: 15 March 2011
* Notification: 30 March 2011
* Workshop: 12–13 June 2011
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
