9th Confluence Competition (CoCo 2020) http://project-coco.uibk.ac.at/2020/ ==== Final Call for Tools and Problems ================================== CoCo 2020 will run live during IWC 2020, the 9th International Workshop on Confluence, which is held virtually on June 30. IMPORTANT DATES * problem submission May 15, 2020 * tool registration and description May 20, 2020 * tool submission June 10, 2020 * secret problem submission June 15, 2020 * competition June 30, 2020 PROBLEM SUBMISSION Problems submitted by May 15, 2020 (via the COPS web interface) will be considered for CoCo 2020. 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=coco2020 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 2020 and typically highlight the distinctive features of the tool. TOOL SUBMISSION CoCo 2020 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 2019 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 June 14 and 15, 2020. Submission details will be announced on the CoCo 2020 website shortly. COCO 2020 PANEL CoCo 2020 is overseen by a panel of knowledgeable experts who are not participating in the competition: * Frédéric Blanqui INRIA * Cynthia Kop Radboud University Nijmegen * Geoff Sutcliffe University of Miami COCO STEERING COMMITTEE * Aart Middeldorp University of Innsbruck (chair) * Naoki Nishida Nagoya University * Kiraku Shintani JAIST * Johannes Waldmann HTWK Leipzig