CoCo 2024
News
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 |
Background
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 |
Categories
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.
Panel
CoCo 2024 is overseen by a panel of knowledgeable experts who are not participating in the competition: