CoCo 2026
News
| 17 February 2026 | web site created |
Background
This site lists relevant information for the 15th Confluence Competition. CoCo 2026 will run live during IWC 2026, the 15th International Workshop on Confluence, which will take place on July 24 in Lisbon, as part of FLoC 2026.
Timeline
| problem submission | 9 June 2026 |
| tool registration | 16 June 2026 |
| tool description | 23 June 2026 |
| tool submission | 1 July 2026 |
| test run completed | 8 July 2026 |
| tool repair deadline | 15 July 2026 |
| secret problem submission | 16 July 2026 |
| competition | 24 July 2026 |
Categories
CoCo 2026 features the following categories: COM, CSR, CTRS, GCR, INF, LCTRS, NFP, SRS, TRS, UNC and UNR. In addition, we plan to have a category on confluence of higher-order rewrite systems; please contact the CoCo SC if you are interested. Details will be announced in due time.
Problem Submission
Problems submitted by June 9, 2026 (via the ARI submission interface) will be considered for CoCo 2026. In addition, secret problems, which will be selected for the competition, are accepted until July 16, 2026.
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 as well as a link to the website of the tool in the abstract field. The strict deadline for tool registration is June 16, 2026. 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 2026 and typically highlight the distinctive features of the tool. Please submit a single PDF produced by EasyChair's latex style. The strict deadline for tool description is June 23, 2026.
Tool Submission
CoCo 2026 will run live on StarExec Miami and so tools must be able to run on it. 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. After the competition, binaries of participating tools will be made accessible to the community via the ARIWeb platform.