Confluence Competition

CoCo 2024


2 February 2024   panel members announced
17 January 2024   problem submission opened
22 December 2023   competition categories announced
19 December 2023   location of CoCo 2024 is fixed
10 December 2023   web site created


This site lists relevant information for the 13th Confluence Competition. CoCo 2024 will run live during IWC 2024, the 13th International Workshop on Confluence, which is scheduled to collocate with FSCD 2024 in July 2024 in Tallinn, Estonia. CoCo 2024 will adopt the new ARI format for input problems.

Timeline (tentative)

problem submission 31 May 2024
tool registration   7 June 2024
tool description   14 June 2024
tool submission 19 June 2024
test run completed 21 June 2024
tool repair deadline 27 June 2024
secret problem submission   28 June 2024
competition 9 July 2024


In 2024 there will be a new category for confluence of logically constrained rewrite systems. The complete list of categories is available.

Problem Submission

Problems submitted by May 31, 2024 (via the ARI submission interface) will be considered for CoCo 2024.

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, INF, LCTRS, 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 June 7, 2024.


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