CoCo 2025
News
| 14 July 2025 | tool submission details announced | 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 4, 2025.
Tool Submission
CoCo 2025 will run live on StarExec Miami and so tools must be able to run on it. Submission instructions are available. Please contact the CoCo SC in case of installation problems. Each tool will be given 60 seconds (wall-clock time) and a memory limit of 128 GB on a single StarExec node per problem. After the submission deadline, tools will be tested on a few sample problems.
Panel
CoCo 2025 is overseen by a panel of knowledgeable experts who are not participating in the competition.: