Workshop on Progress Towards the Holy Grail


Twenty years ago the paper “In Pursuit of the Holy Grail” proposed that Constraint Programming was well-positioned to pursue the Holy Grail of computer science: the user simply states the problem and the computer solves it. This workshop will look at progress towards that goal, specifically regarding work on automating:

  • Problem Acquisition: learning from examples, model reformulation, etc.
  • Solver Construction: tuning parameters, selecting from portfolios, etc.
  • User Explanation: reasons for failure, implications of choices, etc.

The increasing interest in Human-Aware AI and intelligent software assistants make this a particularly timely topic.

This is a joint workshop of CP2017, ICLP2017 and SAT2017.


Submissions may be of any length, be position papers, technical papers, or demos, review your own previous work, survey a topic area, present new research, or suggest directions for further progress.

Submissions should be in PDF format. They should be submitted through EasyChair, on or before July 8, 2017 (GMT). Authors may make multiple submissions if they wish. All submissions that appropriately address the topic of the workshop will be accepted as is, without further revision, and will be made available at the workshop website. At least one author of every accepted submission must attend the workshop and pay the workshop fee; otherwise the submission and any presentation will be withdrawn from the proceedings, if any, and program.

Organizing Committee

Eugene Freuder, University College Cork, Ireland (Chair),

Christian Bessiere, CNRS – Université Montpellier, France

Narendra Jussien, École des Mines Albi, France

Lars Kotthoff, University of British Columbia, Canada

Mark Wallace, Monash University, Australia

Important Dates

Submission Deadline: July 8, 2017 (GMT)

Notification: July 13, 2017

Workshop: August 28, 2017 (afternoon)