Confluence Competition

CoCo 2023


5 September 2023   full run completed
25 August 2023   results announced, slides of award ceremony
23 August 2023   live competition, slides
1 August 2023   test run concluded
18 July 2023   participating tools added
14 July 2023   final call for tools
20 January 2023   call for tools and problems
10 January 2023   panel members announced
2 December 2022   web site created
12 August 2022   date and location of CoCo 2023 is fixed


This site lists relevant information for the 12th Confluence Competition. CoCo 2023 will run live during IWC 2023, the 12th International Workshop on Confluence, which is held on August 23 and 24, 2023 in the Obergurgl University Center of the University of Innsbruck.


problem submission 10 July 2023
tool registration   16 July 2023
tool description   22 July 2023
tool submission 30 July 2023
secret problem submission   7 August 2023
competition 23 August 2023


The certified categories (TRS-CFP and CTRS-CFP) are terminated. Instead, tools together with certifiers can participate in any other category. A tentative list of categories for 2023 is available. Requests for new categories have to be made by email to the CoCo SC before April 1, 2023.

Problem Submission

Problems submitted by July 10, 2023 (via the COPS web interface) will be considered for CoCo 2023. In addition, secret problems, which will be selected for the competition, are accepted until August 3, 2023. Details will be announced later.

Tool Registration

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, CSR, CTRS, GCR, HRS, INF, NFP, SRS, TRS, UNC, UNR) as well as a link to the website of the tool in the abstract field. The strict deadline for tool registration is July 16, 2023.

Tool Description

Tool authors are invited to submit a one-page system description. System descriptions will be included in the proceedings of IWC 2023 and typically highlight the distinctive features of the tool. Please submit a single latex file in EasyChair latex style. The strict deadline for tool description is July 22, 2023.

Tool Submission

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