17-20 June 2007
Nashville TN, U.S.A.
WORKSHOP ON UNIVERSAL ALGEBRA AND THE CONSTRAINT SATISFACTION PROBLEM (following the International Conference on Order, Algebra, and Logics), Nashville, TN June 17 - 20, 2007 http://www.math.vanderbilt.edu/~uacsp2007/ *Theme: The Constraint Satisfaction Problem (CSP) provides a framework for expressing a large number of combinatorial search problems that arise in wide areas of computer science and discrete mathematics. The primary goal of this workshop is to bring together researchers from the universal algebra/lattice theory and CSP communities to further the algebraic approach to several conjectures and problems related to constraint satisfaction. Tutorials will be offered to provide participants with the requisite background material and then a series of invited lectures on recent work on the CSP and algebra will be given .Secondary goals are to foster and strengthen links between computer science and mathematics and to provide graduate students and junior researchers with a rich and interesting set of new problems to work on. * Invited Speakers: - Albert Atserias (Technical University of Catalonia) - Manuel Bodirsky (Humboldt University) - Andrei Bulatov (SFU) - Hubie Chen (University Pompeu Fabra) - Victor Dalmau (University Pompeu Fabra) - Andrei Krokhin (University of Durham) - Gabor Kun (University of Memphis) - Benoit Larose (Champlain Regional College) - Miklos Maroti (University of Szeged) - Petar Markovic (University of Novi Sad) - Ralph McKenzie (Vanderbilt) - Pascal Tesson (Laval University) - Heribert Vollmer (University of Hannover) - Ross Willard (University of Waterloo) - Lazslo Zadori (University of Szeged) * A limited number of contributed talks will be presented. The deadline to submit an abstract is Wednesday, February 28, 2007. * Financial support will be available to a limited number of participants. Preference will be given to graduate students and post-doctoral fellows whose participation is not fully supported by other sources. Requests for support should be submitted as soon as possible - but no later than March 15, 2007. *Organizing committee: - Andrei Bulatov (SFU) - Victor Dalmau (UPF) - Ralph McKenzie (Vanderbilt) (Chair) - Matt Valeriote (McMaster)