[TYPES/announce] CFP: IWC 2015

Takahito Aoto aoto at nue.riec.tohoku.ac.jp
Tue Jan 20 20:49:46 EST 2015


=====================================================================
                        First Call for Papers
                              IWC 2015
               4th International Workshop on Confluence

                    2 August 2015, Berlin, Germany 
                      collocated with CADE-25

              http://www.csl.sri.com/users/tiwari/iwc2015/
=====================================================================

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 had been investigated
in many formalisms of rewriting such as first-order rewriting,
lambda-calculi, higher-order rewriting, constraint rewriting,
conditional rewriting, etc. 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 workshop is collocated
with CADE-25. Previous editions of the workshop were held in Nagoya
(2012), Eindhoven (2013) and Vienna (2014).  During the workshop the
4th Confluence Competition (CoCo 2015) takes place.

IMPORTANT DATES:
 * submission          May  15, 2015
 * notification        June 12, 2015
 * final version       July 3, 2015
 * workshop            August 2, 2015

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:
 * TBA

PROGRAM COMMITTEE:
 *  Takahito Aoto (Tohoku University), co-chair
 *  Mauricio Ayala Rincon (Universidade de Brasilia)
 *  Karl Gmeiner (UAS Technikum Wien)
 *  Samuel Mimram (École Polytechnique)
 *  Haruhiko Sato (Hokkaido University)
 *  Christian Sternagel (Universtity of Innsbruck)
 *  Ashish Tiwari (SRI International - Menlo Park, CA), co-chair

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/account/signin.cgi?conf=iwc2015



More information about the Types-announce mailing list