Cornell Images

Second International Workshop on

User-Interaction in Constraint Satisfaction

Held in conjunction with

Eight International Conference on
Principles and Practice of Constraint Programming, CP2002

Cornell University, Ithaca, New York, USA.
September, 2002


Overview ]

Scope ]

Submissions ]

Important Dates ]

Schedule ]

Organisation ]

The workshop schedule is available.


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


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

Return to Barry O'Sullivan's Home Page