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

========== Final Call for Tools ===========================================

CoCo 2024 and ARI -- Second Announcement

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

CoCo 2024 will run live during IWC 2024, the 13th International Workshop on
Confluence, which is scheduled to collocate with FSCD 2024 in July 2024 in
Tallinn, Estonia.

IMPORTANT DATES

* problem submission         31 May
* tool registration           7 June
* tool description           14 June
* tool submission            19 June
* test run completed         21 June
* tool repair deadline       27 June
* secret problem submission  28 June
* competition                 9 July

NEWS

CoCo 2024 will adopt the new ARI format for input problems:

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

There will be a new category for confluence of logically constrained
rewrite systems. The complete list of categories is available:

https://project-coco.uibk.ac.at/2024/categories/index.php

TOOL REGISTRATION

Tool registration is done through EasyChair:

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

Please enter the tool name in the title field, the tool contributors as
authors, and the participating categories (choose from COM, CSR, CTRS, GCR,
INF, LCTRS, NFP, SRS, TRS, UNC, UNR) as well as a link to the website of
the tool in the abstract field. The strict deadline for tool registration
is June 7, 2024. Please subscribe to the CoCo mailing list to be informed
about the competition:

https://project-coco.uibk.ac.at/#ml

TOOL DESCRIPTION

Tool authors are invited to submit a one-page system description (single
latex file in EasyChair latex style, an additional page with references is
permitted). System descriptions will be included in the proceedings of
IWC 2024 and typically highlight the distinctive features of the tool.

CoCo 2024 PANEL

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

* Koko Muroya      Kyoto University
* Nick Smallbone   Chalmers University of Technology
* Geoff Sutcliffe  University of Miami

COCO STEERING COMMITTEE

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