First International Workshop on

User-Interaction in Constraint Satisfaction

Held in conjunction with

Seventh International Conference on
Principles and Practice of Constraint Programming, CP2001

Coral Beach Hotel and Resort, Paphos, Cyprus
Saturday, 1st of December, 2001


Overview ]

Scope ]

Submissions ]

Important Dates ]

Schedule ]

Organisation ]


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 ]


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 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 ]


Organising Committee

Dr. Barry O'Sullivan (Chair & Primary Contact)
Cork Constraint Computation Centre
University College Cork, Ireland
Tel: +353 21 4903085
Fax: +353 21 4903113

Prof. Eugene C. Freuder
Cork Constraint Computation Centre
University College Cork, Ireland
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 ]

Return to Barry O'Sullivan's Home Page