[TYPES/announce] IWC 2014: deadline extended

[Takahito Aoto]

*** Extended Deadline: April 23, 2014 ***

=====================================================================
                        Final Call for Papers
                         (extended deadline)
                              IWC 2014
               3rd International Workshop on Confluence

                    13 July 2014, Vienna, Austria,
               a FLoC workshop affiliated with RTA-TLCA

                http://www.nue.riec.tohoku.ac.jp/iwc2014/
=====================================================================

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 a
FLoC workshop affiliated with RTA-TLCA (FLoC 2014 is collocated with Vienna
Summer of Logic 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.

IMPORTANT DATES:
 * submission     April 23, 2014 (extended)
 * notification   May 14, 2014 
 * final version  May 28, 2014 
 * workshop       July 13, 2014

TOPICS:
Specific topics of interest include: 
 * 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:
 * Samuel Mimram (CEA LIST, joint invited speaker with TERMGRAPH 2014)
 * Beniamino Accattoli (Bologna University) 

PROGRAM COMMITTEE:
 * Takahito Aoto        Tohoku University  (co-chair)
 * Thibaut Balabonski   Gallium - Inria Rocquencourt
 * Eduardo Bonelli      Universidad Nacional de Quilmes
 * Delia Kesner         University Paris - Diderot (co-chair)
 * Naoki Nishida        Nagoya University
 * Colin Riba           LIP - ENS Lyon
 * Pierre-Yves Strub    IMDEA Software
 * René Thiemann        University of Innsbruck
 * Ashish Tiwari        SRI International

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