This report contains the proceedings of the 7th International Workshop on Confluence (IWC 2018) in Oxford, United Kingdom on July 7th, 2018. The workshop is part of the Federated Logic Conference (FLoC 2018), associated with the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018).  Previous IWC workshops were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015), Obergurgl (2016), and Oxford (2017).

Confluence provides a general notion of determinism and has been conceived as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, termination, commutation, coherence, etc.) and has been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, higher-dimensional rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The workshop promotes and stimulates research and collaboration on confluence and related properties. In addition to original contributions, the workshop solicited short versions of recently published articles and papers submitted elsewhere.

IWC 2018 received 11 submissions. Most submissions were reviewed by 3 program committee members. After deliberations, the program committee decided to accept 8 submissions, which are contained in this report. Apart from these contributed talks, the workshop has one invited talk by Maja Kirkeby and Henning Christiansen, about Confluence in Constraint Handling Rules. Their extended abstract is included in this report.

Several people contributed to IWC 2018 preparations. We are grateful to the members of the program committee for their work. We also thank the members of the FLoC and FSCD organizing committees for hosting IWC 2018 in Oxford.

Jakob Grue Simonsen
Bertram Felgenhauer
May 31, 2018
Copenhagen / Innsbruck