CFP
IWC23: International Workshop on Confluence Obergurgl, Austria, August 23, 2023 |
Conference website | http://cl-informatik.uibk.ac.at/iwc/2023 |
Submission link | https://easychair.org/conferences/?conf=iwc23 |
Abstract registration deadline | May 7, 2023 |
Submission deadline | May 14, 2023 |
--//----//----//----//----//----//----//----//----//----//----//----//----//--
First Call For Papers
12th International Workshop on Confluence
August 23, 2023, Obergurgl/Austria
--//----//----//----//----//----//----//----//----//----//----//----//----//--
The 12th International Workshop on Confluence (IWC 2023), co-located
with the Workshop on Termination (WST 2023), aims at promoting further
research in confluence and related properties. Confluence provides a
general notion of determinism and has always been conceived as one of
the central properties of rewriting. In fact, confluence relates to many
topics of rewriting and computation in general (completion, modularity,
termination, commutation, etc.) and has 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 support, certification as well as new applications.
The workshop aims at promoting further research in confluence and
related properties.
## TOPICS
IWC 2023 encourages submissions in the following areas:
- confluence and related properties:
unique normal forms, commutation, ground confluence
- completion
- critical pair criteria
- decidability issues
- complexity issues
- certification
- applications of confluence
The objective of this workshop is to bring together theoreticians and
practitioners to promote new techniques and results, and to facilitate
feedback on the implementation and application of such techniques and
results in practice. IWC 2023 also aims to be a forum for presenting
and discussing work in progress, and therefore to provide feedback to
authors on their preliminary research. More information can be found
on the webpage of the conference:
## SUBMISSIONS
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 the EasyChair system at:
EasyChair style:
## IMPORTANT DATES
- Title and Abstract: May 7, 2023
- Paper Submission: May 14, 2023
- Notification to authors: June 11, 2023
- Workshop date: August 23, 2023
## INVITED SPEAKERS
TBA
## CONTACT
- Cyrille Chenavier: cyrille.chenavier(at)unilim.fr
- Sarah Winkler: sarwinkler(at)unibz.it