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.
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.
Eugene Freuder, University College Cork, Ireland (Chair), email@example.com
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
Submission Deadline: July 8, 2017 (GMT)
Notification: July 13, 2017
Workshop: August 28, 2017