[gecode-users] CFP: Workshop on Quantification in Constraint Programming

[Arnaud Lallouet]

[Apologies for multiple receipts]

QiCP'2008, Second International Workshop on Quantification in Constraint 
Programming <http://www.univ-orleans.fr/lifo/evenements/QiCP2008/>


----------------------------------

*QiCP'08:*
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

Sydney, Australia, Sept 14, 2008.

http://www.univ-orleans.fr/lifo/evenements/QiCP2008/

*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 for 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:
- Search and propagation algorithm
- Modeling issues with quantified languages
- Complexity results
- Quantified global constraints
- Quantified languages design and compilation
- Strategy extraction and representation
- Over-constrained quantified problems, explanations
- First-order constraints
- Quantification in CHR
- Uncertainty handling
- Stochastic constraint programming
- Implementation issues
- Other types of variables, non-backtrackable variables where domain 
prunings are not undone
  on backtracking
- 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 reviewed and accepted papers 
will be
published in the workshop proceedings. At least one author must attend the
workshop.  The proceedings will be available electronically on 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 
<mailto:enrico at dist.unige.it,%20Arnaud.Lallouet at univ-orleans.fr,%20rueher at essi.fr?subject=QiCP%272008%20Submission> 
to the workshop organizers,
using the subject line "QiCP'2008 submission": enrico at dist.unige.it, 
arnaud.lallouet at univ-orleans.fr, rueher at essi.fr


*Important Dates:*
Paper submission : July 11, 2008
Notification          : July 30, 2008
Final version        : August 20, 2008


*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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080502/d136f4e1/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: QICP4b.gif
Type: image/gif
Size: 31897 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080502/d136f4e1/attachment.gif>