IWC 2014 – 3rd International Workshop on Confluence
July 13, 2014 · Vienna, Austria
http://www.nue.riec.tohoku.ac.jp/iwc2014/
Important Dates
| Submission | April 23, 2014 (extended) |
| Notification | May 14, 2014 |
| Final Version | May 28, 2014 |
| Workshop | July 13, 2014 |
Aims and Scope
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.
Topics
Specific topics of interest include:
- confluence and related properties (unique normal forms, commutation, ground confluence)
- completion
- critical pair criteria
- decidability issues
- complexity issues
- system descriptions
- certification
- applications of confluence
Paper Submissions
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 the EasyChair system at:
Program Committee
- Takahito Aoto (RIEC, Tohoku University) - chair
- Thibaut Balabonski (Inria Rocquencourt)
- Eduardo Bonelli (Universidad Nacional de Quilmes)
- Delia Kesner (University Paris - Diderot) - chair
- Naoki Nishida (Nagoya University)
- Colin Riba (ENS Lyon)
- Pierre-Yves Strub (IMDEA Software)
- René Thiemann (University of Innsbruck)
- Ashish Tiwari (SRI International)