Dec 26, 2017: 1st CFP is announced.
Dec 26, 2017: This page is created.
This site lists relevant information for the 7th Confluence Competition (CoCo 2018). The competition will run live during the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) in Oxford, United Kingdom. We invite everyone developing confluence (and related) tools to join CoCo 2018, to share problems and challenges.
The following categories will be run:
- confluence of first-order term rewrite systems (TRS)
- confluence of conditional term rewrite systems (CTRS)
- certification (CPF)
- confluence of higher-order term rewrite systems (HRS)
- ground confluence of many-sorted term rewrite systems (GCR)
- unique normal form properties of first-order term rewrite systems (UN)
|request for demonstration categories||April 29, 2018|
|tool registration||June 14, 2018|
|tool submission||June 24, 2018|
|problem submission||June 28, 2018|
|competition||July 12, 2018|
Submissions of new problems are welcome. Submissions are via Cops. Problems submitted after the problem submission deadline will not be considered for the competition. For problem selection of each category, check the detail of each category from category page.StarExec, a high-end cross-community competition platform. Details of the specification are available here. For each problem a tool will have 60 seconds access to a single node.
We solicit new categories for the competition (competition categories) as well as demonstration categories. See here to send your request.
Tools must be able to run on the designated execution platform. It is encouraged that tools are open source and that binaries of the competition versions of the tools can be archived on the competition website; they shall be used in our web interface in future.