Index:
[ Overview ]
[ Scope ]
[ Submissions ]
[ Important Dates ]
[ Schedule ]
[ Organisation ]
|
The workshop schedule is available.
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
This workshop will be scheduled for a half day.
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 |
June 24th |
Notification of acceptance |
July 19th |
Camera-ready version deadline |
August 2nd |
Workshop Date |
September 8th |
[ Back to top ]
Workshop Schedule
The following is the schedule of presentions at the workshop.
9:00
|
Opening Remarks
[ Front Matter of the Working Notes ]
|
|
Session 1: Interactive Constraint Processing
Chair: Barry O'Sullivan
|
09:10
|
Certainty Closure - Reasoning About Constraint
Neil Yorke-Smith and Carmen Gervet
[ paper ]
|
09:30
|
k-relevant Explanations for Constraint Programming
Samir Ouis, Narendra Jussien and Patrice Boizumault
[ paper ]
|
09:50
|
Effective Interaction Principles for User-Involved
Constraint Problem Solving
Pearl Pu and Boi Faltings
[ paper ]
|
10:10
|
Strategies for Interactive Constraint Acquisition
Sarah O'Connell, Barry O'Sullivan and Eugene C. Freuder
[ paper ]
|
Coffee Break (10:30-11:00)
|
|
Session 2: User-Interaction in Constraint Solvers
Chair: Eugene Freuder
|
11:00
|
3D Visualization and Control in CLPGUI
Francois Fages
[ paper ]
|
11:20
|
A Generic Trace Model for Finite Domain Solvers
Pierre Deransart, Mireille Ducasse and Ludovic Langevine
[ paper ]
|
11:40
|
Posting and Retracting Constraints in Cooperating Asynchronous Solvers
Georg Ringwelski
[ paper ]
|
12:00
|
Question-Generation in Constraint-Based Expert Systems
James Bowen and Chavalit Likitvivatanavong
[ paper ]
|
12:20
|
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 4903085
Fax: +353 21 4903113
[ Back to top ]
Programme Committee
Alan Borning, University of Washington, USA
James Bowen, University College Cork, Ireland
Ken Brown, University of Aberdeen, UK
Pearl Pu, EPFL, Switzerland
Helene Fargier, Laboratoire IRIT, Universite Paul Sabatier, France
Gerhard Friedrich, Universitat Klagenfurt, Austria
Carmen Gervet, IC-Parc, Imperial College, UK
Pascal van Hentenryck, Brown University, USA
Helmut Simonis, Parc Technologies Ltd, UK
Richard Wallace, University College Cork, Ireland
[ Back to top ]
|