- September 2016: Presentations are online.
- August 2016: Online Proceedings in pdf.
- August 2016: Schedule of talks is here.
- July 2016: List of accepted papers announced.
- July 2016: Early registration deadline is July 24, 2016
- June 2016: SECOND Call for Papers available.
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 had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constraint rewriting, conditional rewriting, etc. 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 is colocated with WST 2016 (International Workshop on Termination), and is part of the Computational Logic in the Alps event. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), and Berlin (co-located with CADE-25).
The plan is to have the 5th Confluence Competition (CoCo 2016) take place during the workshop.
TopicsThe call for papers can be found here: Call for Papers (Second CFP). First Call for Papers is here. Specific topics of interest include:
- confluence and related properties (unique normal forms, commutation, ground confluence)
- critical pair criteria
- decidability issues
- complexity issues
- system descriptions
- applications of confluence
ProceedingsOnline Proceedings can be downloaded from here.
PresentationsPresentations (in PDF) can be found here.
ProgramWorkshop program can be found here. List of accepted papers.
|submission||June 22, 2016|
|final version||August 3, 2016|
|workshop||September 8-9, 2016|
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
- Beniamino Accattoli (INRIA), co-chair
- Bertram Felgenhauer (University of Innsbruck)
- Yves Guiraud (University of Paris 7)
- Nao Hirokawa (JAIST)
- Koji Nakazawa (Nagoya)
- Ashish Tiwari (SRI International Menlo Park), co-chair
IWC Steering Committee
- Aart Middeldorp
- Nao Hirokawa