8th Confluence Competition (CoCo 2019)
http://project-coco.uibk.ac.at/2019/

==== Final Call for Tools ============================================

CoCo 2019 will run live during TOOLympics in Prague, Czech Republic,
on April 6, as part of TACAS 2019.

IMPORTANT DATES

* tool registration	     March 16, 2019
* tool submission	     March 23, 2019
* secret problem submission  March 30, 2019
* competition                April 6,  2019
* tool description           May 1,    2019

TOOL REGISTRATION

Tool registration is done through EasyChair:

     https://www.easychair.org/conferences/?conf=coco2019

Please enter the tool name in the title field, the tool contributors
as authors, and the participating categories (choose from COM, CPF-CTRS,
CPF-TRS, CTRS, GCR, HRS, INF, NFP, SRS, TRS, UNC, UNR) as well as a link
to the website of the tool in the abstract field.

TOOL SUBMISSION

CoCo 2019 will run live on StarExec (https://www.starexec.org/). Tools
will have 60 seconds access to a single node of StarExec for each problem.
Submission details are available from the CoCO 2019 website. After the
competition, binaries of participating tools will be made available to the
community via the CoCoWeb platform.

SECRET PROBLEM SUBMISSION

Secret problems, which will be selected for the competition, are accepted
on March 29 and 30, 2019. Submission details will be announced on the
CoCo 2019 website shortly.

TOOL DESCRIPTION

Tool authors are invited to submit a one-page system description until
May 1, 2019. System descriptions will be included in the proceedings of
IWC 2019 and typically highlight the distinctive features of the tool.
Since IWC takes place after CoCo, authors can reflect on the performance
of their tool during CoCo.

COCO 2019 PANEL

CoCo 2019 is overseen by a panel of knowledgeable experts who are not
participating in the competition:

* Hubert Garavel   INRIA Grenoble Rhône-Alpes
* Geoff Sutcliffe  University of Miami
* Akihisa Yamada   NII Tokyo

COCO STEERING COMMITTEE

* Aart Middeldorp  University of Innsbruck (chair)
* Julian Nagele    Queen Mary University of London
* Kiraku Shintani  JAIST