==== First Call for Tools and Problems ================================== 9th Confluence Competition (CoCo 2020) http://project-coco.uibk.ac.at/2020/ ========================================================================= CoCo 2020 will run live during IWC 2020, the 9th International Workshop on Confluence, which is held in Paris on June 30 as part of the Paris Nord Summer of LoVe. * 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 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. ========================================================================= All competition categories in CoCo 2019 will run in 2020. Further details can be found at http://project-coco.uibk.ac.at/2020/ COCO STEERING COMMITTEE * Aart Middeldorp University of Innsbruck (chair) * Naoki Nishida Nagoya University * Kiraku Shintani JAIST * Johannes Waldmann HTWK Leipzig