|20 January 2023||call for tools and problems|
|10 January 2023||panel members announced|
|2 December 2022||web site created|
|12 August 2022||date and location of CoCo 2023 is fixed|
This site lists relevant information for the 12th Confluence Competition. CoCo 2023 will run live during IWC 2023, the 12th International Workshop on Confluence, which is held on August 23, 2023 in the Obergurgl University Center of the University of Innsbruck.
|problem submission||10 July 2023|
|tool registration||16 July 2023|
|tool description||22 July 2023|
|competition||23 August 2023|
The certified categories (TRS-CFP and CTRS-CFP) are terminated. Instead, tools together with certifiers can participate in any other category. A tentative list of categories for 2023 is available. Requests for new categories have to be made by email to the CoCo SC before April 1, 2023.
Problems submitted by July 10, 2023 (via the COPS web interface) will be considered for CoCo 2023.
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, HRS, INF, 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 July 16, 2023.
Tool authors are invited to submit a one-page system description. System descriptions will be included in the proceedings of IWC 2023 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 July 22, 2023.
CoCo 2023 is overseen by a panel of knowledgeable experts who are not participating in the competition: