Second International Workshop on

Quantification in Constraint Programming


Beyond Existentially Quantified Variables


Held in conjunction with CP’2008, 14th International Conference on Principles and Practice of Constraint Programming


New! :

Extended deadline : July 18, 2008.


Overview:

Constraint Programming is a very successful paradigm to express combinatoral problems for which it provides both a representation language and powerful solving techniques.    Modeling uncertainty in data and/or the presence of an adversary can be done by introducing universally quantified and/or stochastic variables.  They are used to encode possible alternative that have to be all taken into account to provide a robust solution.  Possible applications are games, robust scheduling, conformant planning or model checking fo the discrete case.  For continuous variables, it includes control design, verification of safety and performance conditions of a system in engineering or determination of values of design variables compatible with all values of some uncertain physical data.


The first workshop on Quantification in Constraint Programming has been held in conjuction with CP’2005 in Sitges, Spain.  Since then, there has been an increasing attention to this topic in the areas of QBF, QCSP and continuous constraints.  The aim of this workshop is to collect papers describing novel and ongoing works in the field, and to foster discussions and cross-fertilization between different approaches.


Scope:

This workshop is open to all aspects related to quantification in Constraint Programming and SAT.  The aim of the workshop is to present ongoing work and to exchange ideas on modeling and solving quantified problems. Topics that may be addressed in papers for consideration for inclusion in this workshop include, but are not limited to:

  1. -Search and propagation algorithm

  2. -Modeling issues and methodology

  3. -Complexity results

  4. -Quantified global constraints

  5. -Quantified languages design and compilation

  6. -Strategy extraction and representation

  7. -Over-constrained quantified problems, explanations

  8. -First-order constraints

  9. -Quantification in CHR and rule-based languages

  10. -Handling uncertainty

  11. -Stochastic constraint programming

  12. -Implementation issues

  13. -Other types of variables, non-backtrackable variables

  14. -Applications and benchmarks of Quantified Constraints, QBF, and Stochastic CSP


Submissions:

The workshop is open to all members of the CP community. Submitted papers can be up to 15 pages in length, describing work on one or more of the topics relevant to the workshop. Alternatively, a shorter paper (maximum 5 pages) can be submitted, presenting a research statement or perspective on topics relevant to the workshop. All submissions will be very thoroughly reviewed and those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. At least one author must attend the workshop.  The proceedings will be available electronically at the workshop web page and in hardcopy at CP 2008.

We encourage authors to submit papers electronically in pdf format. Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style. All submissions should include the author's name(s), affiliation, complete mailing address, and email address.  Workshop papers will be published in workshop notes as well as on the Web.


Please send your submission by email to the workshop organizers, using the subject line “QiCP’2008 submission”.


Important Dates:

Paper submission : July 18, 2008  Extended deadline

Notification            : July 30, 2008

Final version         : August 20, 2008


Accepted Papers:

Accepted papers can be found here.



Organizing Committee:

Enrico Giunchiglia, University of Genova, Italy.

Arnaud Lallouet, University of Orléans, France.

Michel Rueher, University of Nice, France.


Program Committee:

Fahiem Bacchus, University of Toronto, Canada.

Marco Benedetti, University of Orléans, France.

Lucas Bordeaux, MsR Cambridge, England.

Ken Brown, University College Cork, Ireland.

Hubie Chen, University Pompeu Fabra, Spain.

Uwe Egly, Technical University of Vienna, Austria.

Enrico Giunchiglia, University of Genova, Italy.

Alexandre Goldsztejn, University of Nantes, France.

Arnaud Lallouet, University of Orléans, France.

Stefan Ratschan, Academy of Sciences, Czech Republic.

Jussi Rintanen, NICTA, Australia.

Michel Rueher, University of Nice, France.

Kostas Stergiou, University of the Aegean, Greece.

Toby Walsh, NICTA, Australia.

 

Last modification 11/07/08