|
Index:
[ Overview ]
[ Scope ]
[ Submissions ]
[ Important Dates ]
[ Schedule ]
[ Organisation ]
|
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 one full 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/ICLP 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 |
August 30 |
| Notification of acceptance |
September 24 |
| Camera-ready version deadline |
October 4 |
| Conference Dates |
November 26-30 |
| Workshop Date |
December 1, 2001 |
[ Back to top ]
Workshop Schedule
The following is the schedule of presentions at the workshop.
|
08:45
|
Opening Remarks
[ Front Matter of the Working Notes ]
|
|
|
Session 1: Frameworks for Interactive Constraint Processing
Chair: Richard J. Wallace
|
|
09:00
|
The (Minimal) Specialization CSP: A basis for Generalized
Interactive Constraint Processing
James Bowen
[ paper ]
|
|
09:20
|
User-Interaction Requirements and its Implications for Efficient
Implementations of Interactive Constraint Satisfaction Systems
Felix Frayman
[ paper ]
|
|
09:40
|
Links for Boosting Predictable Interactive Constraint Systems
Gilles Trombettoni and Bertrand Neveu
[ paper ]
|
|
10:00
|
Session Panel
|
|
Coffee Break (10:30-11:00)
|
|
|
Session 2: Learning and Acquiring Constraints and Preferences
Chair: József Váncza
|
|
11:00
|
Modeling and Generating Tradeoffs for Constraint-Based
Configuration
Eugene C. Freuder and Barry O'Sullivan
[ paper ]
|
|
11:20
|
Acquiring both Global and Local Preferences in Interactive
Constraint Solving via Machine Learning Techniques
Francesca Rossi and Alessandro Sperduti
[ paper ]
|
|
11:40
|
Interactive Constraint Acquisition
Barry O'Sullivan, Eugene C. Freuder and Sarah O'Connell
[ paper ]
|
|
12:00
|
Session Panel
|
| Lunch (12:30-14:00)
|
|
|
Session 3: Explanation and Debugging
Chair: Bertrand Neveu
|
|
14:00
|
e-constraints: Explanation-based Constraint Programming
Narendra Jussien
[ paper ]
|
|
14:20
|
Explanations for Whom?
Richard J. Wallace and Eugene C. Freuder
[ paper ]
|
|
14:40
|
An Interactive Environment for Debugging Declarative
Equation-based Languages
Peter Bunus and Peter Fritzson
[ paper ]
|
|
15:00
|
Session Panel
|
| Coffee Break (15:30-16:00)
|
|
|
Session 4: Invited Talk and Discussion
Chair: Barry O'Sullivan
|
|
16:00
|
Invited Talk
Interaction and Co-operation in Constraint Processing
James Bowen
[ paper ]
|
|
17:00
|
Panel + Future Directions
James Bowen, Felix Frayman and Francesca Rossi
|
|
17:45
|
Closing Remarks
|
[ 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
Boi Faltings, LIA-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 ]
|
b.osullivan@cs.ucc.ie