Confluence Competition 2018

Authors Takahito Aoto , Makoto Hamana , Nao Hirokawa , Aart Middeldorp , Julian Nagele , Naoki Nishida , Kiraku Shintani , Harald Zankl

Thumbnail PDF


  • Filesize: 1.01 MB
  • 5 pages

Document Identifiers

Author Details

Takahito Aoto
  • Faculty of Engineering, Niigata University, Japan
Makoto Hamana
  • Department of Computer Science, Gunma University, Japan
Nao Hirokawa
  • School of Information Science, JAIST, Japan
Aart Middeldorp
  • Department of Computer Science, University of Innsbruck, Austria
Julian Nagele
  • School of Electronic Engineering and Computer Science, Queen Mary University of London, UK
Naoki Nishida
  • Graduate School of Informatics, Nagoya University, Japan
Kiraku Shintani
  • School of Information Science, JAIST, Japan
Harald Zankl
  • Innsbruck, Austria

Cite AsGet BibTex

Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald Zankl. Confluence Competition 2018. In 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 108, pp. 32:1-32:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically.

Subject Classification

ACM Subject Classification
  • Theory of computation → Rewrite systems
  • Theory of computation → Equational logic and rewriting
  • Theory of computation → Automated reasoning
  • Confluence
  • competition
  • rewrite systems


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. T. Aoto, N. Hirokawa, J. Nagele, N. Nishida, and H. Zankl. Confluence Competition 2015. In Proc. 25th CADE, volume 9195 of LNAI, pages 101-104, 2015. URL:
  2. N. Hirokawa, J. Nagele, and A. Middeldorp. Cops and CoCoWeb - Infrastructure for confluence tools. In Proc. 9th IJCAR, LNAI, 2018. To appear. Google Scholar
  3. A. Stump, G. Sutcliffe, and C. Tinelli. StarExec: A cross-community infrastructure for logic solving. In Proc. 7th IJCAR, volume 8562 of LNAI, pages 367-373, 2014. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail