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

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

CoCo 2022 will run live during IWC 2022, the 11th International Workshop
on Confluence, which is held on August 1, 2022 as part of FLoC. The
results of CoCo 2022 will be presented at the FLoC 2022 Olympic Games on
August 9.

IMPORTANT DATES

* problem submission	      June 17, 2022
* tool registration           June 22, 2022
* tool description            June 29, 2022
* tool submission	      July 12, 2022
* secret problem submission   July 17, 2022
* competition                August 1, 2022

PROBLEM SUBMISSION

Problems submitted by June 17, 2022 (via the COPS web interface) will be
considered for CoCo 2022. 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=coco2022

Please enter the tool name in the title field, the tool contributors as
authors, and the participating categories (choose from COM, CPF-CTRS,
CPF-TRS, 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 2022 and typically highlight the distinctive
features of the tool.

TOOL SUBMISSION

CoCo 2022 will run live on StarExec (https://www.starexec.org/). Tools
will have 60 seconds access to a single node of StarExec for each problem.
Submission details will be announced on the CoCo 2022 website shortly.
After the competition, binaries of participating tools will be made
available to the community via the CoCoWeb platform.

SECRET PROBLEM SUBMISSION

Secret problems, which will be selected for the competition, are accepted
on July 16 and 17, 2022. Submission details will be announced on the
CoCo 2022 website shortly.

COCO 2022 PANEL

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

* Joerg Endrullis  Vrije Universiteit Amsterdam
* Mizuhito Ogawa   JAIST
* Sarah Winkler    Free University of Bozen-Bolzano

COCO STEERING COMMITTEE

* Raul Gutierrez   Universidad Politecnica de Madrid
* Aart Middeldorp  University of Innsbruck (chair)
* Naoki Nishida    Nagoya University
* Kiraku Shintani  JAIST