[TYPES/announce] IWC 2012 & CoCo 2012: First Call for Papers and Provers

[Nao Hirokawa]

This is a joint call for papers and provers for IWC 2012 and CoCo 2012.

======================================================================
                        First Call for Papers                    
                              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) takes place.

IMPORTANT DATES:
 * submission     March  6, 2012
 * notification   March 20, 2012
 * final version  April  3, 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 LIPIcs style. Submission 
will be via EasyChair at

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


======================================================================
                       First Call for Provers
                             CoCo 2012                          
                     1st Confluence Competition
                                                               
               http://coco.nue.riec.tohoku.ac.jp/2012/
======================================================================

Recently, several new implementations of confluence proving/disproving
tools are reported and interest for proving/disproving confluence
"automatically" has been grown. CoCo aims to foster the development of
techniques for proving/disproving confluence automatically by setting
up a dedicated and fair confluence competition among confluence
proving/disproving tools.

The 1st Confluence Competition (CoCo 2012) runs during the 1st
International Workshop on Confluence (IWC 2012), which is collocated
with the 23rd International Conference on Rewriting Techniques and
Applications (RTA 2012) at Nagoya University, Japan. In this
competition a category for first-order term rewrite systems will be
run. Other categories (e.g., higher-order) will be considered if there
are tools and problems. 

IMPORTANT DATES:
 * registration      April 1 - May 15, 2012  
 * tool submission   May   1 - May 15, 2012
 * competition       May 29, 2012

REGISTRATION/SUBMISSION:
Registration and tool submission will be via the email address:

  coco-sc [AT] jaist.ac.jp 

Tools must be able to read input files written in the old TPDB format.
The output of the tools must contain an answer in the first line
followed by some proof argument understandable for human experts. 
Valid answers are YES (the input is confluent) and NO (the input is 
not confluent). Every other answer is interpreted as the tool could 
not determine the status of the input. For more information including
competition rules, see

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

ORGANISING COMMITTEE:
 * Takahito Aoto      Tohoku University       (chair)
 * Nao Hirokawa       JAIST
 * Harald Zankl       University of Innsbruck