6th International Workshop on Confluence
September 8th 2017, Oxford, United Kingdom
- September 11th 2017: Added slides (see the program).
- August 16th 2017: Online proceedings are available (pdf).
- July 25th 2017: Added tentative workshop program.
- July 1st 2017: Final call for papers (extended deadline)
- June 2017: Second call for papers
- April 2017: First call for papers
- February 2017: IWC will be collocated with FSCD as planned.
- November 2016: 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.
The workshop will be colocated with FSCD 2017 in Oxford, taking place after the conference.
The 5th Confluence Competition will take place during this workshop.
- confluence and related properties (unique normal forms, commutation, ground confluence)
- critical pair criteria
- decidability issues
- complexity issues
- system descriptions
- applications of confluence
The proceedings are available online (pdf).
- Registration, Tea/Coffee/Croissants/Fruit
- Consistency and Invariants (invited talk)
- Stefan Kahrs
- Certified Non-Confluence with ConCon 1.5 (slides)
- Thomas Sternagel and Christian Sternagel
- A Semantic Criterion for Proving Infeasibility in Conditional Rewriting (slides)
- Salvador Lucas and Raúl Gutiérrez
- Detecting Useless Critical Pairs (slides)
- Cyrille Chenavier
- Coherence in Non-Terminating Linear Polygraphs (slides)
- Clément Alleaume
- Critical Peaks Redefined — Φ⊔Ψ=⊤ (slides)
- Nao Hirokawa, Julian Nagele, Vincent van Oostrom and Michio Oyamaguchi
- CoCoWeb — A Convenient Web Interface for Confluence Tools (slides)
- Julian Nagele and Aart Middeldorp
- Böhm Reduction for Terms and Term Graphs (invited talk) (slides)
- Patrick Bahr
- A Ground Joinability Criterion for Ordered Completion (slides)
- Sarah Winkler
- Formalized Ground Completion (slides)
- Aart Middeldorp and Christian Sternagel
- Z for call-by-value (slides)
- Koji Nakazawa, Ken-etsu Fujita and Yuta Imagawa
- Aspects of Layer Systems in IsaFoR (slides)
- Bertram Felgenhauer and Franziska Rapp
- Confluence Competition (slides)
- Takahito Aoto, Nao Hirokawa, Julian Nagele and Naoki Nishida
submission Saturday, July 5th, 2017 (extended) notification Saturday, July 22nd, 2017 final version Saturday, August 5th, 2017 FSCD early registration Sunday, August 6th, 2017 (see FSCD registration) workshop Friday, September 8th, 2017
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 Accatolli (INRIA), co-chair
- Jörg Endrullis (Vrije Universiteit Amsterdam)
- Bertram Felgenhauer (University of Innsbruck), co-chair
- Ken-Etsu Fujita (Gumma University)
- Philippe Malbos (Université Claude Bernard Lyon 1)
- Jakob Grue Simonsen (University of Copenhagen)