Workshop Announcement:

----------------------------------------------------------------
 Applications of universal algebra and logic to the constraint satisfaction problem
----------------------------------------------------------------

                   March 31 to April 4, 2008

  American Institute of Mathematics Research Conference Center

                     Palo Alto, California

        http://aimath.org/ARCC/workshops/constraintsatis.html


------------
Description:
------------

This workshop, sponsored by AIM and the NSF, will be devoted to
advancing the understanding of the computational complexity of the
constraint satisfaction problem using methods and techniques from
universal algebra and logic. The intended participants are
researchers in computational complexity, universal algebra,
and logic. By bringing together researchers from these three areas,
progress could be made towards resolving long-standing open problems
about the complexity of constraint satisfaction. 

The workshop is organized by
Anuj Dawar, Phokion Kolaitis, Benoit Larose, and Matt Valeriote.

For more details please see the workshop announcement page:
http://aimath.org/ARCC/workshops/constraintsatis.html

Space and funding is available for a few more participants.
If you would like to participate, please apply by filling
out the on-line form (available at the link above) no later
than November 15, 2007. Applications are open to all, and
we especially encourage women, underrepresented minorities,
junior mathematicians, and researchers from primarily
undergraduate institutions to apply.

Before submitting an application, please read the ARCC
policies concerning participation and financial support
for participants.

--------------------------------------
AIM Research Conference Center (ARCC):
--------------------------------------

The AIM Research Conference Center (ARCC) hosts focused
workshops in all areas of the mathematical sciences. ARCC
focused workshops are distinguished by their emphasis on
a specific mathematical goal, such as making progress on a
significant unsolved problem, understanding the proof of an
important new result, or investigating the convergence between
two distinct areas of mathematics.

For more information, please visit
http://www.aimath.org/research/