[TYPES/announce] CoCo 2018: Final Call for Provers

Takahito Aoto aoto at ie.niigata-u.ac.jp
Thu May 31 09:17:03 EDT 2018


======================================================================
                      Final Call for Provers
                            CoCo 2018
                    7th Confluence Competition

                          July 12, 2018
                       Oxford, United Kingdom
              http://coco.nue.ie.niigata-u.ac.jp/2018/
======================================================================


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 7th Confluence Competition (CoCo 2018) will run ***live*** during
the 3rd International Conference on Formal Structures for Computation
and Deduction (FSCD 2018) in Oxford, United Kingdom. CoCo 2018 will be
part of the FLoC 2018 Olympic Games.

The following categories will be run:
* 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
Furthermore, a demonstration category for confluence of polymorphic
second-order computation systems will be run.

Submissions of new confluence problems are also welcome. For more 
information including examples of new categories to be considered, 
platforms, competition rules and problems, see the webpage of CoCo 2018 
indicated above.

IMPORTANT DATES:
* request for competition categories    January 28, 2018 (closed)
* request for demonstration categories  April 29, 2018 (closed)
* tool registration                     June 14, 2018
* tool submission                       June 24, 2018
* problem submission                    June 28, 2018
* competition                           July 12, 2018

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 2018.

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

ORGANISING COMMITTEE:
* Takahito Aoto        Niigata University (chair)
* Makoto Hamana	       Gunma University
* Julian Nagele        Queen Mary University of London
* Naoki Nishida        Nagoya University
* Kiraku Shintani      JAIST

ADVISORY BOARD:
* Beniamino Accattoli  INRIA, Paris
* Yuki Chiba           DENSO Corporation

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



More information about the Types-announce mailing list