====================================================================== Second 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 Besides these categories, new categories will be considered if there are tools and problems dedicated to those categories. We welcome requests for categories. Demonstration categories are for demonstrating new attempts and/or merits of particular tools. 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 2017 indicated above. IMPORTANT DATES: * request for competition categories February 28, 2017 (closed) * request for demonstration categories June 30, 2017 * tool registration August 13, 2017 * tool submission August 23, 2017 * problem submission August 27, 2017 * competition September 8, 2017 REQUEST FOR NEW CATEGORIES: Request for new categories is via the contact email address. Please send the following information at your earliest convenience: * category type (competition category or demonstration category) * description of problems and semantics (rewrite steps, confluence, etc.) together with adequate references * a proposal of the input format (if necessary) Requests for new categories may be rejected for technical reasons. 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 is via the easychair. Every tool registration should also contain a one page system description. 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