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

[Takahito Aoto]

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

=====================================================================
                        First Call for Papers
                              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 16, 2014 
 * 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:
 * TBA

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


======================================================================
                       First Call for Provers
                             CoCo 2014
                     3rd Confluence Competition

                    13 July 2014, Vienna, Austria
               http://coco.nue.riec.tohoku.ac.jp/2014/
======================================================================

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

The 3rd Confluence Competition (CoCo 2014) will run ***live*** during the
3rd International Workshop on Confluence (IWC 2014), which is a FLoC 
workshop affiliated with RTA-TLCA (FLoC 2014 is collocated with Vienna 
Summer of Logic 2014). The following categories are currently planned:
 * confluence of first-order term rewrite systems
 * confluence of (oriented/join/semi-equational) conditional term rewrite 
   systems
 * certification
Besides these categories, new categories will be considered if there are 
tools and problems dedicated to those categories. Submissions of new 
confluence problems are also welcome. For more information including 
examples of new categories to be considered, platforms, competition rules 
and problems, see the webpage of CoCo 2014 indicated above.

IMPORTANT DATES:
 * requests for new categories  March 7, 2014
 * tool registration            June 27, 2014
 * tool submission              July 4, 2014
 * problem submission           July 9, 2014
 * competition                  July 13, 2014

REQUEST FOR NEW CATEGORIES:
We welcome requests for new categories. Request for new categories is via 
the contact email address. Please send us the following information at your 
earliest convenience:
 * description of problems and semantics (rewrite steps, confluence, etc.) 
   together with adequate references
 * a proposal of the input format (if necessary) 
Requests for new categories may be rejected for technical reasons.

SUBMISSION OF NEW PROBLEMS:
Submissions of new confluence problems are welcome. Please use the web 
interface of Cops (Confluence Problems) database linked from the webpage 
of CoCo 2014.

REGISTRATION/SUBMISSION:
Tool registration is via the contact email address. Every tool registration 
should also contain a one page system description. Tool submission will be 
via StarExec.

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

CONTACT:
  coco-sc [AT] jaist.ac.jp