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

========== FInal Call for Tools ===========================================

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

NEWS

Exclusive T-shirts are planned for tool authors that attend IWC 2023. The
early registration deadline is July 15:

 http://cl-informatik.uibk.ac.at/events/osr-2023/

IMPORTANT DATES

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

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