\r\n

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:

\r\n\r\n

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

\r\n

This is a joint workshop of CP2017ICLP2017 and SAT2017.

\r\n

Submissions

\r\n

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.

\r\n

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.

\r\n

Organizing Committee

\r\n\r\n

Important Dates

\r\n\r\n