11th International Workshop on Confluence
1 August 2022, Haifa
IWC 2012 IWC 2013 IWC 2014 IWC 2015 IWC 2016 IWC 2017 IWC 2018 IWC 2019 IWC 2020 IWC 2021 IWC 2022
IWC 2022
Background Topics Invited Speaker Program Proceedings Important Dates Submission Program Committee Steering Committee Previous IWCs Contact

IWC 2022

11th International Workshop on Confluence

1st August 2022, Haifa, Israel

Affiliated with FSCD @ FLoC 2022

Background

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 11th Confluence Competition CoCo 2022 will run live during IWC 2022.

Topics

Invited Talk

Nao Hirokawa, Japan Advanced Institute of Science and Technology:

Seven Confluence Criteria for Solving COPS #20

COPS #20 is a thought-provoking confluence problem for term rewriting, posed by Gramlich and Lucas (2006). Although the term rewrite system of the problem is confluent, it is beyond the realm of classical confluence criteria such as Knuth and Bendix' criterion (1970) and Huet's parallel closedness (1980). In this talk we will discuss various solutions to the problem, recalling powerful confluence methods developed in the last decade and a half.

Program

All times are indicated in GMT+3 (= time in Haifa).

Proceedings

The proceedings are available online and include reports on the 10th Confluence Competition.

Important Dates

submission: Monday, 2nd May 2022 Tuesday, 31st May 2022
notification: Sunday, 5th June 2022 Monday, 20th June 2022
final version: Friday, July 1st, 2022
workshop: Monday, 1st August 2022

(deadlines are AoE)

Submission

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 (6 pages in the final version). Short papers or extended abstracts must be submitted electronically through

https://www.easychair.org/conferences/?conf=iwc2022

Program Committee

Previous IWCs

Contact