Confluence Competition

CoCo 2025

News

6 May 2025   web site created

Background

This site lists relevant information for the 14th Confluence Competition. CoCo 2025 will run live during IWC 2025, the 14th International Workshop on Confluence, which will take place on September 2 and 3 in Leipzig.

Timeline

problem submission 21 July 2025
tool registration   28 July 2025
tool description   4 August 2025
tool submission 11 August 2025
test run completed 18 August 2025
tool repair deadline 25 August 2025
secret problem submission   26 August 2025
competition 2 September 2025

Categories

Problem Submission

Problems submitted by July 21, 2025 (via the ARI submission interface) will be considered for CoCo 2025.

Tool Registration

Tool Description

Tool authors are invited to submit a one-page (excluding references of at most one additional page) system description. System descriptions will be included in the proceedings of IWC 2024 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 August 11, 2025.

Tool Submission

Panel

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