==== First Call for Tools and Problems ===============================

8th Confluence Competition (CoCo 2019)
http://project-coco.uibk.ac.at/2019/
======================================================================

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) which is held in Prague, Czech Republic on April
6 and 7. 

* problem submission	     March 1,   2019
* tool registration	     March 16,  2019
* tool submission	     March 23,  2019
* secret problem submission  March 30,  2019
* competition                April 6/7, 2019

Problems submitted before March 1, 2019 (via the COPS web interface)
will be considered for CoCo 2019. In addition, there is the option to
submit secret problems after the tool submission deadline.

All competition categories in CoCo 2018 will run in 2019. In addition,
there will be new categories on infeasibility as well as commutation
problems. Details will become available at

http://project-coco.uibk.ac.at/2019/

Requests for further categories have to be made by email to the CoCo
SC (coco-sc [at] informatik.uibk.ac.at) before October 31, 2018.

COCO STEERING COMMITTEE
* Aart Middeldorp  University of Innsbruck (chair)
* Julian Nagele    Queen Mary University of London
* Kiraku Shintani  JAIST