Confluence Competition

CoCo 2021


11 August 2021   full run completed
25 July 2021   results announced
23 July 2021   live competition, slides
8 July 2021   test run concluded
20 June 2021   information about tool submission added
20 June 2021   participating tools added
13 May 2021   final call for tools and problems
27 February 2021   1st call for tools and problems
27 February 2021   panel members announced
22 December 2020   web site created


This site lists relevant information for the 10th Confluence Competition. CoCo 2021 will run live during IWC 2021, the 10th International Workshop on Confluence, which is held virtually on July 23 as part of FSCD.


problem submission 10 June 2021
tool registration and description   15 June 2021
tool submission 5 July 2021
secret problem submission   10 July 2021
competition 23 July 2021


All categories of CoCo 2019 will run in 2021. Requests for further categories have to be made by email to the CoCo SC before April 30, 2021.

Problem Submission

Problems submitted before June 10, 2021 (via the COPS web interface) will be considered for CoCo 2021. In addition, secret problems, which will be selected for the competition, are accepted until July 10, 2021, 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 2021 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 June 15, 2021.

Tool Submission

CoCo 2021 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 2021 is overseen by a panel of knowledgeable experts who are not participating in the competition: