10th Confluence Competition (CoCo 2021) http://project-coco.uibk.ac.at/2021/ ==== Final Call for Tools and Problems ================================== CoCo 2020 will run live during IWC 2020, the 10th International Workshop on Confluence, which is held virtually on July 23. IMPORTANT DATES * problem submission June 10, 2021 * tool registration and description June 15, 2021 * tool submission July 5, 2021 * secret problem submission July 10, 2021 * competition July 23, 2021 PROBLEM SUBMISSION Problems submitted by June 10, 2021 (via the COPS web interface) will be considered for CoCo 2021. In addition, there is the option to submit secret problems after the tool submission deadline. TOOL REGISTRATION AND DESCRIPTION Tool registration is done through EasyChair: https://www.easychair.org/conferences/?conf=coco2021 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 (single latex file in EasyChair latex style). System descriptions will be included in the proceedings of IWC 2021 and typically highlight the distinctive features of the tool. TOOL SUBMISSION CoCo 2021 will run live on StarExec (https://www.starexec.org/). Tools will have 60 seconds access to a single node of StarExec for each problem. Submission details will be announced on the CoCO 2021 website shortly. After the competition, binaries of participating tools will be made available to the community via the CoCoWeb platform. SECRET PROBLEM SUBMISSION Secret problems, which will be selected for the competition, are accepted on July 9 and 10, 2021. Submission details will be announced on the CoCo 2021 website shortly. COCO 2021 PANEL CoCo 2021 is overseen by a panel of knowledgeable experts who are not participating in the competition: * Dieter Hofbauer ASW Berufsakademie Saarland * Koji Nakazawa Nagoya University * Femke van Raamsdonk Vrije Universiteit Amsterdam COCO STEERING COMMITTEE * Aart Middeldorp University of Innsbruck (chair) * Naoki Nishida Nagoya University * Kiraku Shintani JAIST * Johannes Waldmann HTWK Leipzig