======================================================================
                      Final Call for Provers
                            CoCo 2017
                    6th Confluence Competition

             September 8th 2017, Oxford, United Kingdom
              http://coco.nue.riec.tohoku.ac.jp/2017/
======================================================================


Confluence provides a general notion of determinism and has been
conceived as one of the central properties of rewriting. Confluence
had been investigated in several formalisms of rewriting such as
first-order rewriting, lambda-calculi, higher-order rewriting,
constrained rewriting and conditional rewriting.  In recent years the
focus in confluence research has shifted towards the development of
automatable techniques for confluence proofs.  The confluence
competition aims to foster the development of techniques for
proving/disproving confluence automatically by setting up a dedicated
competition among confluence tools.

The 6th Confluence Competition (CoCo 2017) will run ***live*** during
the 6th International Workshop on Confluence (IWC 2017), to be collocated
with the 2nd International Conference on Formal Structures for 
Computation and Deduction in Oxford, United Kingdom.

The following categories will be run.  GCR and UN are new categories.
* TRS:  confluence of first-order term rewrite systems
* CTRS: confluence of conditional term rewrite systems
* CPF:  certification
* HRS:  confluence of higher-order term rewrite systems
* GCR:  ground confluence of many-sorted term rewrite systems 
* UN:   unique normal form properties of first-order term rewrite systems

Submissions of new confluence problems are also welcome. For more information 
including platforms, competition rules and problems, see the webpage of 
CoCo 2017 indicated above.

IMPORTANT DATES:
* request for competition categories    February 28, 2017 (closed)
* request for demonstration categories  June 30, 2017 (closed)
* tool registration                     August 13, 2017
* tool submission                       August 23, 2017
* problem submission                    August 27, 2017
* competition                           September 8, 2017

SUBMISSION OF NEW PROBLEMS:
Submissions of new confluence problems are welcome. Please use the web
interface of Cops (Confluence Problems) database linked from the
webpage of CoCo 2017.

REGISTRATION/SUBMISSION:
Tool registration must be made electronically through the EasyChair system at: 
     https://www.easychair.org/conferences/?conf=coco2017.
Every tool registration should also contain a one page system description. See
the webpage of CoCo 2017 for the detailed instruction. Tool submission will be 
via StarExec.

ORGANISING COMMITTEE:
* Takahito Aoto        Niigata University (chair)
* Nao Hirokawa         JAIST
* Julian Nagele        University of Innsbruck
* Naoki Nishida        Nagoya University

ADVISORY BOARD:
* Beniamino Accattoli  INRIA, Paris
* Yuki Chiba           JAIST

CONTACT:
 coco-sc [AT] jaist.ac.jp