12th Confluence Competition (CoCo 2023)
http://project-coco.uibk.ac.at/2023/

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

CoCo 2023 will run live during IWC 2023, the 12th International Workshop
on Confluence, which will be held on 23 August 2023 in Obergurgl, Austria.

IMPORTANT DATES

* problem submission           July 10, 2023
* tool registration            July 16, 2023
* tool description             July 22, 2023
* tool submission              July 12, 2023
* secret problem submission  August  3, 2023
* competition                August 23, 2023

PROBLEM SUBMISSION

Problems submitted by July 10, 2023 (via the COPS web interface) will be
considered for CoCo 2023. In addition, there is the option to submit
secret problems after the tool submission deadline.

TOOL REGISTRATION

Tool registration is done through EasyChair:

 https://easychair.org/conferences/?conf=coco2023

Please enter the tool name in the title field, the tool contributors as
authors, and the participating categories (choose from COM, CSR, 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 DESCRIPTION

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 2023 and typically highlight the distinctive
features of the tool.

COCO 2023 PANEL

CoCo 2023 is overseen by a panel of knowledgeable experts who are not
participating in the competition:

* Frederic Blanqui INRIA
* Mirai Ikebuchi   NII
* Nick Smallbone   Chalmers University of Technology

COCO STEERING COMMITTEE

* Raul Gutierrez   Universidad Politecnica de Madrid
* Aart Middeldorp  University of Innsbruck (chair)
* Naoki Nishida    Nagoya University (publicity chair)
* Teppei Saito     JAIST