Confluence Competition

CoCo 2019


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.


problem submission 1 March 2019
tool registration 16 March 2019
tool submission 23 March 2019
secret problem submission   30 March 2019
competition 6 April 2019
tool description1 May 2019

Tool Registration

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 Submission

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 Description

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.

Problem Submission

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: