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

[Takahito Aoto]

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

=====================================================================
                        Second 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:
 * Samuel Mimram (CEA LIST, joint invited speaker with TERMGRAPH 2014)
 * Beniamino Accattoli (Bologna University) 

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/conferences/?conf=iwc2014


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

                    13 July 2014, Vienna, Austria
                  part of the FLoC 2014 Olympic Games

               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), as part of the 
FLoC 2014 Olympic Games (FLoC 2014 is collocated with Vienna Summer of 
Logic 2014). The following categories will be run:
 * confluence of first-order term rewrite systems
 * confluence of conditional term rewrite systems
 * certification
Submissions of new confluence problems are also welcome. For more information 
including platforms, competition rules and problems, see the webpage of 
CoCo 2014 indicated above.

IMPORTANT DATES:
 * requests for new categories  March 7, 2014 (closed)
 * tool registration            June 27, 2014
 * tool submission              July 4, 2014
 * problem submission           July 9, 2014
 * competition                  July 13, 2014
 * award ceremony               July 17, 2014

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