[Apologies for multiple receipts]
Important:
Extended deadline for submission: July 18, 2008.
-----------------------------------------------------
-- QiCP'2008 --
-- --
-- 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/events/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 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”:
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
Important Dates:
----------------
Paper submission : July 18, 2008
Notification : July 30, 2008
Final version : August 20, 2008
Organizing Committee:
---------------------
Enrico Giunchiglia, University of Genova, Italy.
Arnaud Lallouet, University of Orleans, France.
Michel Rueher, University of Nice, France.
Program Committee:
------------------------------
Fahiem Bacchus, University of Toronto, Canada.
Marco Benedetti, University of Orleans, 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 Orleans, 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.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
