Confluence Competition

CoCo 2020


15 July 2020   full run completed
30 June 2020   results announced
30 June 2020   live competition
11 June 2020   test run concluded
25 May 2020   participating tools added
7 May 2020   information about tool submission added
5 May 2020   final call for tools
4 May 2020   panel members announced
19 February 2020   1st call for tools and problems
1 February 2020   web site created


This site lists relevant information for the 9th Confluence Competition. CoCo 2020 will run live during IWC 2020, the 9th International Workshop on Confluence, which is held virtually from 14:00 until 15:00 (CEST) on June 30. Details will be announced shortly.


problem submission 15 May 2020
tool registration and description   20 May 2020
tool submission 10 June 2020
secret problem submission   15 June 2020
competition 30 June 2020


All categories of CoCo 2019 will run in 2020.

Problem Submission

Problems submitted before May 1, 2020 (via the COPS web interface) will be considered for CoCo 2020. In addition, secret problems, which will be selected for the competition, are accepted until June 15, 2020, according to the submission details.

Tool Registration and Description

Tool registration is done through EasyChair. 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 authors are invited to submit a one-page system description. System descriptions will be included in the proceedings of IWC 2020 and typically highlight the distinctive features of the tool. Please submit a single latex file in EasyChair latex style.

The strict deadline for both tool registration and tool description is May 20, 2020.

Tool Submission

CoCo 2020 will run live on StarExec and so tools must be able to run on it. Submission instructions are available. Please contact the CoCo SC in case of installation problems. Tools will have 60 seconds access to a single node of StarExec for each problem. After the submission deadline, tools will be tested on a few sample problems. After the competition, binaries of participating tools will be made accessible to the community via the CoCoWeb platform.


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