Confluence competition 2015

Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl

Research output: Contribution to journalConference articlepeer-review

10 Citations (Scopus)


Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the background and setup of the 4th Confluence Competition.

Original languageEnglish
Pages (from-to)101-104
Number of pages4
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publication statusPublished - 2015
Event25th International Conference on Automated Deduction CADE 2015 - Berlin, Germany
Duration: 2015 Aug 12015 Aug 7

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Confluence competition 2015'. Together they form a unique fingerprint.

Cite this