Sunday, February 14, 2010

[DMANET] Workshop on Mathematical Foundations of Constraint Programming (MFCP'10)

Call for Papers

International Workshop on Mathematical Foundations of Constraint Programming
(MFCP 2010)

28 August 2010, Brno, Czech republic.

The workshop will be co-located with Joint MFCS & CSL 2010 (35th International
Symposiums on Mathematical Foundations of Computer Science & 19th EACSL Annual
Conferences on Computer Science Logic) , 23-27 August 2010, Brno, Czech

The aim of the workshop is to bring together researchers with a common interest
in constraint programming and constraint satisfaction problems.

Submissions of interesting theoretical and mathematical results related to
constraints are encouraged. Topics include (but are not limited to):

* Theoretical relationships between classes of CSPs and other problems.
* 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, 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.

Organising Committee:

Standa Zivny, University of Oxford, UK

Programme Committee:

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
* Contributions to be spread via DMANET are submitted to
* 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.