CoCo 2025
News
| 16 May 2025 | competition categories announced |
| 13 May 2025 | panel members announced |
| 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 or 3 September 2025 |
Categories
CoCo 2025 features the following categories: CTRS, INF, LCTRS, and TRS.
Problem Submission
Problems submitted by July 21, 2025 (via the ARI submission interface) will be considered for CoCo 2025.
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 CTRS, INF, LCTRS, TRS) as well as a link to the website of the tool in the abstract field. The strict deadline for tool registration is July 28, 2025. Please subscribe to the CoCo mailing list to be informed about the competition.
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 2025 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.: