IWC 2021

10th International Workshop on Confluence

23rd July 2021, Buenos Aires, Argentina

Colocated with FSCD

News

January 4th, 2021: created website.
February 12th, 2021: added PC.

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

Topics

confluence and related properties (unique normal forms, commutation, ground confluence)
completion
critical pair criteria
decidability issues
complexity issues
system descriptions
certification
applications of confluence

Important Dates

submission (abstract): Monday, April 19th, 2021
submission (paper): Monday, April 26th, 2021
notification: Friday, May 31st, 2021
workshop: Friday, July 23rd, 2021

(deadlines are AoE)

Accepted papers

TBA

Program

TBA

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. Short papers or extended abstracts must be submitted electronically through

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

Invited Speakers

TBA

Program Committee

Beniamino Accatolli (Inria & LIX, École Polytechnique)
Sandra Alves (Universidade do Porto)
Cyrille Chenavier (Université de Limoges)
Francisco Durán (University of Málaga)
Alejandro Díaz-Caro (Universidad Nacional de Quilmes & ICC/UBA-CONICET)
Samuel Mimram (LIX, École Polytechnique), co-chair
Camilo Rocha (Pontificia Universidad Javeriana), co-chair
Femke van Raamsdonk (VU University Amsterdam)
Sarah Winkler (University of Bolzano)

IWC Steering Committee

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

Contact

Camilo Rocha: camilo.rocha(at)javerianacali.edu.co
Samuel Mimram: samuel.mimram(at)lix.polytechnique.fr