Loading ...
Sorry, an error occurred while loading the content.

Workshop on Universal Algebra and Computer Science

Expand Messages
  • Mikhail Volkov
    WUACS (Workshop on Universal Algebra and Computer Science): 12–13 June 2011, St Petersburg, Russia http://logic.pdmi.ras.ru/csr2011/wuacs A Satellite
    Message 1 of 1 , Feb 3, 2011
    • 0 Attachment
      WUACS (Workshop on Universal Algebra and Computer Science): 12–13 June 2011, St Petersburg, Russia
      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@...

      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
    Your message has been successfully submitted and would be delivered to recipients shortly.