|8 April 2019||results corrected|
|7 April 2019||results announced|
|6 April 2019||live competition|
|28 March 2019||information about secret problem submission added|
|26 March 2019||test run concluded|
|17 March 2019||participating tools added|
|5 March 2019||final call for tools|
|4 March 2019||information about tool registration, tool submission and tool description added|
|5 February 2019||panel members announced|
|18 January 2019||competition categories announced|
|5 October 2018||1st call for tools and problems|
|4 October 2018||web site created|
This site lists relevant information for the 8th Confluence Competition. CoCo 2019 will run live during TOOLympics, an event to celebrate the achievements of the various competitions or comparative evaluations in the field of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019). It is held in Prague, Czech Republic on April 6.
|tool description||1 May 2019|
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.
CoCo 2019 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.
Tool authors are invited to submit a one-page system description until May 1, 2019. System descriptions will be included in the proceedings of IWC 2019 and typically highlight the distinctive features of the tool. Since IWC takes place after CoCo, authors can reflect on the performance of their tool during CoCo. Please submit a single latex file in EasyChair latex style using your earlier abstract submission in EasyChair.
Secret problems, which will be selected for the competition, are accepted until March 30, 2019, according to the submission details.
CoCo 2019 is overseen by a panel of knowledgeable experts who are not participating in the competition: