|
Index:
[ Overview ]
[ Scope ]
[ Submissions ]
[ Important Dates ]
[ Schedule ]
[ Organisation ]
|
The final workshop schedule is available;
the proceedings is available also.
Overview
User-interaction issues arise both for users of constraint programming
languages and for users of constraint-based applications.
The former need assistance in building models and tailoring solvers.
The latter need assistance in specifying problems and understanding results.
Successful user interaction is the key to fully exploiting advances in
constraint solving abilities.
This workshop will be of interest to researchers who wish seek a deeper
understanding of the technical issues associated with supporting user
interaction for constraint-based applications, languages or environments.
The workshop will also be of interest to industrialists interested in
the state-of-the-art in the area.
[ Back to top ]
Scope
The scope of the workshop includes, but is not limited to, the following
topics:
- acquiring constraints and preferences;
- explaining success and failure;
- interactive constraint satisfaction;
- modifying over-constrained and under-constrained problems;
- constraint programming development environments;
- debugging tools;
- interacting with constraint-based agents;
- distributed constraint satisfaction;
- negotiation;
- privacy;
- coping with unreliability, uncertainty and change;
- application environments, e.g. configuration, design,
network management, scheduling.
[ Back to top ]
Delivery & Submissions
We expect to structure the Workshop to allow ample time for discussion
and demonstration.
We would like to avoid a "mini-conference".
All workshop attendees must pay the CP workshop registration fee.
Prospective attendees can:
- Submit a paper, which can be up to 15 pages in length.
- Submit a one page statement of interest in plain text e-mail,
indicating what perspective and background they will bring to the Workshop.
- Submit a position paper discussing ``what users need''.
"Real users" are especially welcome to seek attendance to provide their
perspectives.
A special issue of the
Constraints Journal (Kluwer) on
user-interaction is planned, should the submissions warrant.
This special issue would contain selected papers from the workshop,
which had undergone further revision and review.
We encourage authors to submit papers electronically in postscript format.
Papers should be formatted using the
Lecture Notes in Computer Science (LNCS) style.
Please send your submissions by email to
b.osullivan@cs.ucc.ie using the subject line
CP Workshop Submission.
[ Back to top ]
Important Dates
The proposed schedule of important dates for the workshop is as follows:
| Paper Submission deadline |
July 12th |
| Notification of acceptance |
August 8th |
| Camera-ready version deadline |
August 22nd |
| Workshop Date |
September 7th/8th |
[ Back to top ]
Workshop Schedule
The following is the (final) schedule of presentions at the workshop.
|
Schedule
|
0:00
|
|
|
PDF version of the proceedings
is available from here
|
|
|
9:00
|
Opening Remarks -- Barry O'Sullivan and Eugene Freuder
|
|
|
|
Session 1: Explanations and Mixed Initiative Systems
Chair: Barry O'Sullivan
|
|
|
09:10
|
Visualizing explanations to exhibit dynamic
structure in constraint problems
Mohammad Ghoniem and Narendra Jussien
|
|
|
09:30
|
Question-Generation in Interactive Constraint Processing
James Bowen and Stewart Cummins
|
|
|
09:50
|
Challenging explanations for global constraints
Guillaume Rochart, Narendra Jussien, and Francois Laburthe
|
|
|
Coffee Break (10:10-10:40)
|
|
|
|
Session 2: User-Interaction for the Real-world
Chair: Eugene Freuder
|
|
|
10:40
|
Compiling CSPs into tree-driven automata for interactive solving
Helene Fargier and Marie-Catherine Vilarem
|
|
|
11:00
|
Channel Theory for User-Interactions in Constraint
Satisfaction and Design
Makoto Kikuchi, Ichiro Nagasaka, and Mutsunori Banbara
|
|
|
11:20
|
CSPs at Work: Relevance of Interaction
Modules to Deploy Applications
Amedeo Cesta, Gabriella Cortellessa, Angelo Oddi and Nicola Policella
|
|
|
11:40
|
User-Involved Tradeoff Analysis in Configuration Tasks
Pearl Pu, Boi Faltings, and Pratyush Kumar
|
|
|
12:00
|
Discussion
|
|
| Lunch (12:30-14:00)
|
[ Back to top ]
Organisation
Organising Committee
Dr. Barry O'Sullivan (Chair & Primary Contact)
Cork Constraint Computation Centre
University College Cork, Ireland
Email: b.osullivan@cs.ucc.ie
Tel: +353 21 4903085
Fax: +353 21 4903113
Web:
http://www.cs.ucc.ie/~osullb/
Prof. Eugene C. Freuder
Cork Constraint Computation Centre
University College Cork, Ireland
Email: e.freuder@4c.ucc.ie
Tel: +353 21 4255400
Fax: +353 21 4903113
[ Back to top ]
Programme Committee
Alan Borning, University of Washington, USA
Ken Brown, Cork Constraint Computation Centre, Ireland
Helene Fargier, Laboratoire IRIT, Universite Paul Sabatier, France
Gerhard Friedrich, Universitat Klagenfurt, Austria
Pascal van Hentenryck, Brown University, USA
Ulrich Junker, ILOG, France
Narendra Jussien, Ecole des Mines de Nantes, France
Pearl Pu, EPFL, Switzerland
Francesca Rossi, University of Padova, Italy
Helmut Simonis, Parc Technologies Ltd, UK
[ Back to top ]
|
b.osullivan@cs.ucc.ie