CoCo 2020
News
| 15 July 2020 | full run completed |
| 30 June 2020 | results announced |
| 30 June 2020 | live competition |
| 11 June 2020 | test run concluded |
| 25 May 2020 | participating tools added |
| 7 May 2020 | information about tool submission added |
| 5 May 2020 | final call for tools |
| 4 May 2020 | panel members announced |
| 19 February 2020 | 1st call for tools and problems |
| 1 February 2020 | web site created |
Background
This site lists relevant information for the 9th Confluence Competition. CoCo 2020 will run live during IWC 2020, the 9th International Workshop on Confluence, which is held virtually from 14:00 until 15:00 (CEST) on June 30. Details will be announced shortly.
Timeline
| competition | 30 June 2020 |
Categories
All categories of CoCo 2019 will run in 2020.
Problem Submission
Problems submitted before May 1, 2020 (via the COPS web interface) will be considered for CoCo 2020. In addition, secret problems, which will be selected for the competition, are accepted until June 15, 2020, according to the submission details.
Tool Registration and Description
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, CPF-CTRS, CPF-TRS, CTRS, GCR, HRS, INF, NFP, SRS, TRS, UNC, UNR) as well as a link to the website of the tool in the abstract field.
Tool authors are invited to submit a one-page system description. System descriptions will be included in the proceedings of IWC 2020 and typically highlight the distinctive features of the tool. Please submit a single latex file in EasyChair latex style.
The strict deadline for both tool registration and tool description is May 20, 2020.
Tool Submission
CoCo 2020 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 2020 is overseen by a panel of knowledgeable experts who are not participating in the competition: