IWC 2020 - 9th International Workshop on Confluence - Paris

Proceedings

pdf

Program Chairs

• Samuel Mimram - LIX, École Polytechnique
• Mauricio Ayala - Rincón Brasilia University

Invited Speakers

• Frédéric Blanqui - INRIA LSV ENS Paris – Saclay/Université Saclay
• Margherita Zorzi - Università degli Studi di Verona

Website

iwc2020.cic.unb.br/

This site provides information on the International Workshop on Confluence (IWC).

Confluence provides a general notion of determinism and has been conceived as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool supports, certification as well as new applications. The workshop aims at promoting further research in confluence and related properties.