IWC 2014
3rd International Workshop on Confluence

July 13, 2014, Vienna, Austria

News

A text version of the CFP is available from here. (Here is the second joint CFP for IWC 2014/CoCo 2014.)

Background

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. The workshop is affiliated with RTA-TLCA, which is a part of FLoC 2014 collocated with VSL 2014 (IWC 2014 page on VSL 2014). Previous editions of the workshop were held in Nagoya (2012) and Eindhoven (2013). During the workshop the 3rd Confluence Competition (CoCo 2014) takes place.

Topics

Specific topics of interest include:

Invited Speakers

Proceedings

PDF

Program

9:25-10:15
On the Formalization of Lambda-Calculus Confluence and Residuals    (invited talk)
Beniamino Accattoli (Bologna University)

10:15-10:45
Coffee Break

10:45-11:15
Certification of Confluence Proofs using CeTA
Julian Nagele and René Thiemann
11:15-11:45
Confluence and Critical-Pair-Closing Systems
Michio Oyamaguchi and Nao Hirokawa

11:45-12:00
Coffee Break

12:00-12:30
Critical Pairs in Network Rewriting
Lars Hellström
12:30-13:00
On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation
Naoki Nishida, Makishi Yanagisawa and Karl Gmeiner

13:00-14:30
Lunch Break

14:30-15:30
An Introduction to Higher-Dimensional Rewriting Theory    (joint invited talk with TERMGRAPH 2014)
Samuel Mimram (CEA LIST)
15:30-16:00
Confluence of linear rewriting and homology of algebras
Yves Guiraud, Eric Hoffbeck and Philippe Malbos

16:00-16:30
Coffee Break

16:30-17:00
Normalization Equivalence of Rewrite Systems
Nao Hirokawa, Aart Middeldorp and Christian Sternagel
17:00-17:30
Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
Masahiko Sakai, Michio Oyamaguchi and Mizuhito Ogawa
17:30-18:15
Confluence Competition
chair: Takahito Aoto

Important Dates

submission April 23, 2014 (extended)
notification May 14, 2014
final version June 4 , 2014 (extended)
workshop July 13, 2014

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 the EasyChair system at:

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

Organizing Committee

Program Committee