IWC 2025

14th International Workshop on Confluence

2nd - 3rd September, 2025, Leipzig, Germany

Collocated with WST 2025

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:

• confluence
• unique normal forms
• commutation
• ground confluence
• completion
• critical pair criteria
• decidability issues
• complexity issues
• certification
• applications of confluence

Invited Speaker

Important Dates

submission (abstract): 1st June, 2025

submission (paper): 1st June, 2025

notification: 30th June, 2025

final version: 31st July, 2025

workshop: 2nd-3rd September 2025

(deadlines are AoE)

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

Program Committee

• Takahito Aoto, Niigata Univeristy
• Thiago Felicissimo, INRIA
• Carsten Fuhs, Birkbeck, University of London
• Raúl Gutiérrez, Universitat Politècnica de València (co-chair)
• Maja Hanne Kirkeby, Roskilde University
• Naoki Nishida, Nagoya University (co-chair)
• René Thiemann, University of Innsbruck
• Femke van Raamsdonk, Vrije Universiteit Amsterdam

IWC Steering Committee

• Mauricio Ayala-Rincón
• Sarah Winkler

Previous IWCs

• 1st IWC, Nagoya, 2012
• 2nd IWC, Eindhoven, 2013
• 3rd IWC, Vienna, 2014
• 4th IWC, Berlin, 2015
• 5th IWC, Obergurgl, 2016
• 6th IWC, Oxford, 2017
• 7th IWC, Oxford, 2018
• 8th IWC, Dortmund, 2019
• 9th IWC, Paris, 2020
• 10th IWC, Buenos Aires/online, 2021
• 11th IWC, Haifa, 2022
• 12th IWC, Obergurgl, 2023
• 13th IWC, Tallinn, 2024

Contact

• Raúl Gutiérrez: raguti(at)upv.es
• Naoki Nishida: nishida(at)i.nagoya-u.ac.jp