The 8th International Workshop on Confluence (IWC 2019) aims at promoting further research in confluence and related properties. Confluence provides a general notion of determinism and has always been conceived as one of the central properties of rewriting. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The workshop aims at promoting further research in confluence and related properties.
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, 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.TOPICS:
The objective of this workshop is to bring together theoreticians and
practitioners to promote new techniques and results, and to
facilitate feedback on the implementation and application of such techniques and
results in practice.
IWC 2019 also aims to be a forum for presenting and discussing work
in progress, and therefore to provide feedback to authors on their
IWC 2019 is a satellite workshop of
Formal Structures for Computation and Deduction (FSCD'19)
Previous editions took place in Oxford (2018 and 2017),
Obergurgl (2016), Berlin (2015), Vienna
(2014), Eindhoven (2013) and Nagoya (2012).
More information about the workshop can be found in the home page of IWC.
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:
Mauricio Ayala-Rincón: ayala(at)unb.br
Jakob Grue Simonsen: simonsen(at)di.ku.dk