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, Télécom Lille, 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