来年，ウィーンで開催されます FLoC の併設ワークショップになります， 合流性に関するワークショップ IWC 2014 と，IWC 開催中に行われます， 合流性自動証明システムのコンペティション CoCo 2014 のご案内です． 関連する話題をお持ちの方がおられましたら，ぜひご投稿を検討頂ければ幸いです．

青戸等人 東北大学 電気通信研究所

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