15th International Workshop on Confluence
24 July, 2026, Lisbon
IWC 2012 IWC 2013 IWC 2014 IWC 2015 IWC 2016 IWC 2017 IWC 2018 IWC 2019 IWC 2020 IWC 2021 IWC 2022 IWC 2023 IWC 2024 IWC 2025 IWC 2026
IWC 2026
Background Registration Important Dates Call for Paperes Submission Program Committee Steering Committee Previous IWCs Contact

IWC 2026

15th International Workshop on Confluence

24th July, 2026, Lisbon, Portugal

Co-located with FSCD and IJCAR @ FLOC 2026

News

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:

The 15th Confluence Competition CoCo 2026 will run live during IWC 2026.

Registration

Registration is possible via the FLoC website: https://www.floc26.org/registration.

Note that early registration ends on May 15th, 2026.

Important Dates

submission (abstract): 1st March, 2026
submission (paper): 9th March, 2026
notification: 9th April, 2026
early registration: 15th May, 2026
final version: 1st June, 2026
workshop: 24 July, 2026

(deadlines are AoE)

Call for Papers

Here.

Submission

We solicit short papers or extended abstracts of at most five pages excluding references. 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 (excluding references, but 6 pages in total) in EasyChair style (6 pages excluding references, but 7 pages in total in the final version). Submission is electronically through

https://submissions.floc26.org/iwc/

Program Committee

Previous IWCs

Contact