IWC Home Page


IWC 2014 (3rd International Workshop on Confluence) is the workshop on all aspectes of confluence and related properties in various formalisms of rewriting. 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, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool supports, certification as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is affiliated with RTA-TLCA, which is a part of FLoC 2014 collocated with VSL 2014 (IWC 2014 page on VSL 2014). Previous editions of the workshop were held in Nagoya (2012) and Eindhoven (2013). During the workshop the 3rd Confluence Competition (CoCo 2014) takes place.

Detailed information on IWC 2014 can be found on the IWC 2014 website.

Call for Papers

Call for Papers


Program Committee