皆様
RTA・TLCA 2013 に併設されます、合流性に関するワークショップ IWC 2013 と 合流性ツールの国際競技会 CoCo 2013の案内をお送り致します。 ご投稿・ご参加を検討して頂ければ幸いです。
廣川 直（北陸先端科学技術大学院大学）
====================================================================== Third Call for Papers IWC 2013 2nd International Workshop on Confluence 28 June 2013, Eindhoven, The Netherlands collocated with RDP 2013 http://www.jaist.ac.jp/~hirokawa/iwc2013/ ======================================================================
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 7th International Conference on Rewriting, Deduction, and Programming (RDP 2013). During the workshop the 2nd Confluence Competition (CoCo 2013) takes place.
IMPORTANT DATES: * submission April 15, 2013 * notification May 10, 2013 * final version June 3, 2013 * workshop June 28, 2013
TOPICS: The workshop solicits short papers/extended abstracts on the following topics: * 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: * Patrick Dehornoy University of Caen * Jan Willem Klop Vrije Universiteit (joint invited speaker for IWC 2013 and WIR 2013)
PROGRAM COMMITTEE: * Guillem Godoy Technical University of Catalonia * Nao Hirokawa JAIST (co-chair) * Barbara Koenig Universitaet Duisburg-Essen * Vincent van Oostrom Utrecht University (co-chair) * Michio Oyamaguchi Nagoya University * Harald Zankl University of Innsbruck * Hans Zantema Eindhoven University of Technology
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. Submission will be via EasyChair at
https://www.easychair.org/account/signin.cgi?conf=iwc2013
====================================================================== Second Call for Provers CoCo 2013 2nd Confluence Competition
http://coco.nue.riec.tohoku.ac.jp/2013/ ======================================================================
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 2nd Confluence Competition (CoCo 2013) will run ***live*** during the 2nd International Workshop on Confluence (IWC 2013), which is collocated with the 7th International Conference on Rewriting, Deduction, and Programming (RDP 2013) in Eindhoven, The Netherlands. In this competition categories for * first-order term rewrite systems * certification will be run. The problems considered for CoCo 2013 are selected from Cops, a collection of confluence problems. Problems submitted after the problem selection deadline will not be considered for the competition.
IMPORTANT DATES: * requests for new categories March 1, 2013 (passed) * announcement of execution platform April 1, 2013 (passed) * tool registration June 10, 2013 * tool submission June 20, 2013 * problem selection June 25, 2013 * competition June 28, 2013
EXECUTION PLATFORM: CoCo 2013 will run on StarExec (http://starexec.org) a high-end cross-community competition platform. Tool submission is via this platform.
REGISTRATION: Registration will be via the email address:
coco-sc [AT] jaist.ac.jp
Every tool registration should also contain a one page system description highlighting the distinctive features of the prover. For more information including competition rules and confluence problems, see
http://coco.nue.riec.tohoku.ac.jp/
ORGANISING COMMITTEE: * Takahito Aoto Tohoku University * Nao Hirokawa JAIST * Harald Zankl University of Innsbruck (chair)