13th International Workshop on Confluence
July 2024

IWC 2024

13th International Workshop on Confluence

July 2024

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.

Topics are thus:

Invited Speakers

TBA

Important Dates (tentative)

submission (abstract): 1st May, 2024
submission (paper): 1st May, 2024
notification: 31st May, 2024
workshop: July 2024

(deadlines are AoE)

Submission

TBA

Program Committee

TBA

Previous IWCs

Contact