IWC 2012

1st International Workshop on Confluence

29 May 2012, Nagoya, Japan


Recently there is a renewed interest in confluence research, resulting in new techniques, tool support as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is collocated with RTA 2012, the 23rd International Conference on Rewriting Techniques and Applications. During the workshop the 1st Confluence Competition (CoCo 2012) takes place.