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

Nao Hirokawa hirokawa at jaist.ac.jp
Tue Mar 6 20:55:48 EST 2012

                        Second Call for Papers
                        (* extended deadline *)
                              IWC 2012 
                1st International Workshop on Confluence
         29 May 2012, Nagoya, Japan, collocated with RTA 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)


takes place.

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

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

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

 * 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

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


More information about the Types-announce mailing list