X-Received: by 2002:a37:6550:: with SMTP id z77mr8280958qkb.410.1591332535043; Thu, 04 Jun 2020 21:48:55 -0700 (PDT) X-Received: by 2002:a4a:7ac2:: with SMTP id a185mr6399272ooc.84.1591332534714; Thu, 04 Jun 2020 21:48:54 -0700 (PDT) Path: csiph.com!xmission!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.constraints Date: Thu, 4 Jun 2020 21:48:54 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=2601:184:4980:1960:c4c0:fa93:a420:e025; posting-account=-NZ3pgoAAACJaW9Q6OJ1TrfDAGJ0SEbq NNTP-Posting-Host: 2601:184:4980:1960:c4c0:fa93:a420:e025 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Call for Papers: PTHG-20 -- The Fourth Workshop on Progress Towards the Holy Grail, at CP2020 From: Eugene Freuder Injection-Date: Fri, 05 Jun 2020 04:48:55 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Lines: 83 Xref: csiph.com comp.constraints:201 Call for Papers PTHG-20: The Fourth Workshop on Progress Towards the Holy Grail September 7, 2020, at CP2020, Louvain-la-Neuve, Belgium Note: CP2020 will either be a virtual conference, or a conference with a vi= rtual component; PTHG-20 will follow suit. Description: In 1996 the paper =E2=80=9CIn Pursuit of the Holy Grail=E2=80=9D proposed t= hat Constraint Programming was well-positioned to pursue the Holy Grail of = computer science: the user simply states the problem and the computer solve= s it. It was followed about a decade later by =E2=80=9CHoly Grail Redux=E2= =80=9C, and then about a decade after that by =E2=80=9CProgress Towards the= Holy Grail=E2=80=9C. This series of workshops aims to encourage and dissem= inate progress towards that goal, in particular regarding work on automatin= g: * Problem Acquisition: learning, debugging, maintaining, etc.=20 * Model Reformulation: transformation for efficient solution, redundant mod= els, etc.=20 * Solver Construction: adaptive parameter tuning, automated selection from = portfolios, etc.=20 *User Explanation: reasons for failure, implications for choices, etc.=20 Of special interest is the intersection of the Holy Grail goal with the inc= reasing attention being paid to machine learning, explainable AI, Human-Awa= re AI, Human-AI Collaboration, and intelligent software assistants. Organizing Committee: Chair: Eugene Freuder, University College Cork, Ireland: eugene.freuder@ins= ight-centre.org Narendra Jussien, =C3=89cole des Mines d=E2=80=99Albi-Carmaux, France Lars Kotthoff, University of Wyoming, USA Ian Miguel, University of St Andrews, Scotland Submissions: Submissions may be of any length, and in any format. They may be abstracts,= position papers, technical papers, or demos. They may review your own prev= ious work or survey a topic area. They may present new research or suggest = directions for further progress. They may propose research roadmaps, demons= tration domains, or collaborative projects. They may be proposals for measu= ring progress, and, in particular, for data sets or competitions to stimula= te and compare progress.=20 New this year: Previously Published Track. Authors may submit to this track= relevant papers that have already been published elsewhere since the date = of the last workshop, PTHG-19, September 30, 2019. The objective is to furt= her the Workshop goal of disseminating progress in this area. At least one author of every accepted submission must attend the workshop a= nd pay the workshop fees; otherwise any presentation (and submission) will = be withdrawn from the proceedings (if any) and program. Standard submissions should be emailed, in PDF form, with subject line =E2= =80=9CPTHG-20 Submission=E2=80=9D, directly to the Workshop chair, at: euge= ne.freuder@insight-centre.org. Submissions to the Previously Published Track should be emailed similarly. = These submissions should be clearly identified as submissions to the Previo= usly Published Track, and bibliographic information provided on the previou= s publication. These submissions should contain either a PDF of the paper o= r a URL pointing to the full text of the paper, if these can be posted at t= he Workshop website without violating copyright. If not, a short PDF statem= ent explaining the relevance of the paper to the Workshop, suitable for pos= ting at the Workshop website, should be provided. Authors may make multiple submissions if they wish. All submissions that ap= propriately address the topic of the workshop will be accepted as is, witho= ut further revision, and will be made available at the workshop website. The deadline for submissions is August 3. Decisions on acceptance will be s= ent by August 7. If you submit at least two weeks before the early registra= tion date for the conference, you will be sent a decision on acceptance at = least one week before the early registration date for the conference. Website: https://freuder.wordpress.com/pthg-20-the-fourth-workshop-on-progr= ess-towards-the-holy-grail/