Confluence Competition

CoCo 2023


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, 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
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.

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.


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