7th International Workshop on Confluence
July 7th 2018, Oxford, United Kingdom
Part of FLoC 2018
- June 18th, 2018: Updated proceedings with CoCo 2018 system descriptions.
- May 31st, 2018: Proceedings added.
- May 16th, 2018: Program online.
- April 13th, 2018: Final call for papers with extended deadlines
- April 12th, 2018: Updated invited speakers.
- March 1st, 2018: First call for papers.
- August/September 2017: Created website.
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 has been investigated in many formalisms of rewriting, such as first-order rewriting, lambda-calculi, higher-order rewriting, constraint rewriting, conditional rewriting, and so on. 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.
Note that in contrast to previous years, the 6th Confluence Competition will take place at FSCD.
- confluence and related properties (unique normal forms, commutation, ground confluence)
- critical pair criteria
- decidability issues
- complexity issues
- system descriptions
- applications of confluence
- Friday, April 20th, 2018 (extended)
- Sunday, April 22nd, 2018 (extended)
- Tuesday, May 15th, 2018
- Friday, May 25th, 2018
- Saturday, July 7th, 2018
(deadlines are AoE)
The proceedings are available online (pdf).
The following papers were accepted for IWC.
Confluence in Constraint Handling Rules (invited talk)
Henning Christiansen and Maja H. Kirkeby
Critical pairs for Gray categories
Coherence of monoids by insertions
Nohra Hage and Philippe Malbos
Coherence modulo relations
Benjamin Dupont and Philippe Malbos
The diamond lemma for free modules
Certified Ordered Completion
Christian Sternagel and Sarah Winkler
Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL
Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh and Franziska Rapp
Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs
Naoki Nishida, Yuta Tsuruta and Yoshiaki Kanazawa
Complete Axiom System of Cluster Algebra
Kousuke Fukui and Koji Nakazawa
The program can be found here.
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
- Henning Christiansen and Maja H. Kirkeby (Roskilde University, Denmark)
- Bertram Felgenhauer (University of Innsbruck), co-chair
- Kentaro Kikuchi (Tohoku University)
- Jeroen Ketema (TNO-ESI)
- Samuel Mimram (LIX laboratory, École Polytechnique)
- Julian Nagele (Queen Mary University of London)
- Jakob Grue Simonsen (University of Copenhagen), co-chair