CoCo 2023
News
| 5 September 2023 | full run completed |
| 25 August 2023 | results announced, slides of award ceremony |
| 23 August 2023 | live competition, slides |
| 1 August 2023 | test run concluded |
| 18 July 2023 | participating tools added |
| 14 July 2023 | final call for tools |
| 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 |
Background
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 and 24, 2023 in the Obergurgl University Center of the University of Innsbruck.
Timeline
| problem submission | 10 July 2023 |
| tool registration | 16 July 2023 |
| tool description | 22 July 2023 |
| tool submission | 30 July 2023 |
| secret problem submission | 7 August 2023 |
| competition | 23 August 2023 |
Categories
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.
Problem Submission
Problems submitted by July 10, 2023 (via the COPS web interface) will be considered for CoCo 2023. In addition, secret problems, which will be selected for the competition, are accepted until August 3, 2023. Details will be announced later.
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, 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 Description
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.
Tool Submission
CoCo 2023 will run live on StarExec and so tools must be able to run on it. Submission instructions are available. Please contact the CoCo SC in case of installation problems. Tools will have 60 seconds access to a single node of StarExec for each 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 CoCoWeb platform.
Panel
CoCo 2023 is overseen by a panel of knowledgeable experts who are not participating in the competition: