Confluence Competition

The steering committee can be contacted via email:

  coco-sc [AT] informatik.uibk.ac.at

The steering committee is assisted by Nao Hirokawa (JAIST, Japan) for matters related to COPS.

The steering committee (SC) is responsible for all affairs concerning the confluence competition:
- deciding the date and location of the next competition,
- deciding the categories in the next competition,
- selecting panel members (who provide secret digits that determine the problems selected for the next competition),
- running the live competition and exporting the results,
- collecting one-page tool descriptions for inclusion in the proceedings of IWC,
- performing a full run with corrected tools within one month of the live competition and exporting the tools to CoCoWeb,
- maintaining the infrastructure of the confluence competition, including COPS and CoCoWeb,
- publicity.
SC members must have been involved in a tool that participated in a past competition.
SC members can serve at most two consecutive terms. A term consists of four consecutive competitions.
The SC selects its own chair.
Decisions in the SC (if not by global agreement) are by simple majority vote. In case of a draw the chair decides.

Aart Middeldorp, Julian Nagele, and Kiraku Shintani, CoCo 2019: Report on the Eighth Confluence Competition, International Journal on Software Tools for Technology Transfer 23(6), pp. 905 – 916, 2021. doi:10.1007/s10009-021-00620-4.
Aart Middeldorp, Julian Nagele, and Kiraku Shintani, Confluence Competition 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Deduction (TACAS 2019), Lecture Notes in Computer Science 11429, pp. 25 – 40, 2019. doi:10.1007/978-3-030-17502-3_2.
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald Zankl, Confluence Competition 2018, Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Leibniz International Proceedings in Informatics 108, pp. 32:1 – 32:5, 2018. doi:10.4230/LIPIcs.FSCD.2018.32.
Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, and Harald Zankl, Confluence Competition 2015, Proceedings of the 25th International Conference on Automated Deduction (CADE-25), Lecture Notes in Computer Science 9195, pp. 101 – 104, 2015. doi:10.1007/978-3-319-21401-6_5.