|11 August 2021||full run completed|
|25 July 2021||results announced|
|23 July 2021||live competition, slides|
|8 July 2021||test run concluded|
|20 June 2021||information about tool submission added|
|20 June 2021||participating tools added|
|13 May 2021||final call for tools and problems|
|27 February 2021||1st call for tools and problems|
|27 February 2021||panel members announced|
|22 December 2020||web site created|
This site lists relevant information for the 10th Confluence Competition. CoCo 2021 will run live during IWC 2021, the 10th International Workshop on Confluence, which is held virtually on July 23 as part of FSCD.
Problems submitted before June 10, 2021 (via the COPS web interface) will be considered for CoCo 2021. In addition, secret problems, which will be selected for the competition, are accepted until July 10, 2021, according to the submission details.
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 2021 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 June 15, 2021.
CoCo 2021 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.
CoCo 2021 is overseen by a panel of knowledgeable experts who are not participating in the competition: