[TYPES/announce] IWC 2012: Second Call for Papers

[Nao Hirokawa]

======================================================================
                        Second Call for Papers
                        (* extended deadline *)
                              IWC 2012 
                1st International Workshop on Confluence
                                                               
         29 May 2012, Nagoya, Japan, collocated with RTA 2012
           http://cl-informatik.uibk.ac.at/events/iwc-2012/     
======================================================================

Recently there is a renewed interest in confluence research, resulting
in new techniques, tool support as well as new applications. The
workshop aims at promoting further research in confluence and related
properties. The workshop is collocated with the 23rd International 
Conference on Rewriting Techniques and Applications (RTA 2012). During 
the workshop the 1st Confluence Competition (CoCo 2012)

               http://coco.nue.riec.tohoku.ac.jp/2012/

takes place.

IMPORTANT DATES:
 * submission     March 26, 2012 (extended)
 * notification   April  9, 2012
 * final version  April 30, 2012
 * workshop       May   29, 2012

TOPICS:
The workshop solicits short papers/extended abstracts on the following
topics:
 * confluence and related properties (unique normal forms, commutation,
   ground confluence)
 * critical pair criteria
 * decidability issues
 * complexity issues
 * system descriptions
 * certification
 * applications of confluence

ORGANISING COMMITTEE:
 * Nao Hirokawa         JAIST
 * Aart Middeldorp      University of Innsbruck
 * Naoki Nishida        Nagoya University

PROGRAM COMMITTEE:
 * Takahito Aoto        Tohoku University
 * Nao Hirokawa         JAIST                    (co-chair)
 * Aart Middeldorp      University of Innsbruck  (co-chair)
 * Femke van Raamsdonk  VU University Amsterdam
 * Aaron Stump          The University of Iowa
 * Rakesh M. Verma      University of Houston

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. In addition, we plan to distribute a printed
version of the proceedings at the workshop.

The page limit for papers is 5 pages in EasyChair style. Submission 
will be via EasyChair at

  https://www.easychair.org/account/signin.cgi?conf=iwc2012