IWC 2023
12th International Workshop on Confluence
23rd August 2023, Obergurgl, Austria
Co-located with WST 2023
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 12th Confluence Competition CoCo 2023 will run live during IWC 2023.
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
Invited Speakers
- Naoki Nishida, University of Nagoya
- René Thiemann, University of Innsbruck
Important Dates
- submission (abstract):
Sunday, 7th May, 2023Sunday, 21st May, 2023 - submission (paper):
Sunday, 14th May, 2023Sunday, 28th May, 2023 - notification:
Sunday, 11th June, 2023Thursday, 15th June, 2023 - workshop: Wednesday, 23rd August 2023
(deadlines are AoE)
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. Submission is electronically through
Program Committee
- Patrick Bahr, IT University of Copenhagen
- Cyrille Chenavier, Université de Limoges
- Benjamin Dupont, University of Grenoble Alpes
- Jörg Endrullis, Vrije Universiteit Amsterdam
- Claudia Faggian, CNRS, Université de Paris
- Carsten Fuhs, Birkbeck University of London
- Raúl Gutiérrez, Universitat Politècnica de València
- Dohan Kim, University of Innsbruck
- Sarah Winkler, Free University of Bozen-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
- 10th IWC, Buenos Aires/online, 2021
- 11th IWC, Haifa, 2022
Contact
- Cyrille Chenavier: cyrille.chenavier(at)unilim.fr
- Sarah Winkler: winkler(at)inf.unibz.it