Call for Papers
International Workshop on Mathematical Foundations of Constraint
28 August 2010, Brno, Czech republic.
The workshop will be co-located with Joint MFCS & CSL 2010 (35th
Symposiums on Mathematical Foundations of Computer Science & 19th
Conferences on Computer Science Logic) , 23-27 August 2010, Brno,
The aim of the workshop is to bring together researchers with a common
in constraint programming and constraint satisfaction problems.
Submissions of interesting theoretical and mathematical results
constraints are encouraged. Topics include (but are not limited to):
* Theoretical relationships between classes of CSPs and other
* Complexity and expressivity of different constraint representations.
* Complexity and expressivity in the context of propagation.
* Relational structures and CSPs.
* Soft and valued constraints.
* Tractability of CSPs.
* Max-CSP, #CSP.
Survey talks, preliminary results, developments of published results,
in progress are welcome. Prospective speakers are invited to submit a
abstract which provides sufficient detail to allow the program
assess the merits of the proposal.
Standa Zivny, University of Oxford, UK
Hubie Chen, Universitat Pompeu Fabra, Spain
Dave Cohen, Royal Holloway, University of London, UK
Martin Cooper, IRIT, University of Toulouse, France
Georg Gottlob, University of Oxford, UK
Peter Jeavons, University of Oxford, UK
Chris Jefferson, University of St Andrews, UK
Peter Jonsson, Linkoping University, Sweden
Kristen Brent Venable, University of Padova, Italy
Nic Wilson, University College Cork, Ireland
Submission: 15 June 2010
Notification: 10 July 2010
Workshop: 28 August 2010