7th International Workshop on Confluence
July 2018, Oxford, United Kingdom

IWC 2018

7th International Workshop on Confluence

July 7th 2018, Oxford, United Kingdom

Part of FLoC 2018



Confluence provides a general notion of determinism and has been conceived as one of the central properties of rewriting systems. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and has been investigated in many formalisms of rewriting, such as first-order rewriting, lambda-calculi, higher-order rewriting, constraint rewriting, conditional rewriting, and so on. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, confluence competition, and certification as well as in new applications. The scope of the workshop is all these aspects of confluence and related topics.

The goal of the workshop is to provide a forum for researchers interested in the topic of confluence to exchange and share new developments in the field. The workshop will enable discussion on theoretical results, new problems, applications, implementations and benchmarks, and share the current state-of-the-art on the development of confluence tools.

The workshop will be colocated with FSCD 2018 in Oxford as part of FLoC 2018. IWC will take place the weekend before FSCD.

Note that in contrast to previous years, the 6th Confluence Competition will take place at FSCD.


Important Dates

submission (abstract)
Friday, April 20th, 2018 (extended)
submission (paper)
Sunday, April 22nd, 2018 (extended)
Tuesday, May 15th, 2018
final version
Friday, May 25th, 2018
Saturday, July 7th, 2018

(deadlines are AoE)


The proceedings are available online (pdf).

The following papers were accepted for IWC.

For individual PDFs of the CoCo system descriptions see the CoCo 2018 homepage. Note that CoCo will take place during FSCD this year.


The program can be found here.


We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop.

The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through

Invited Speakers

Organizing Committee

Program Committee

Previous IWCs