来年、名古屋で行われます RTA 2012 において、合流性 (チャーチ・ロッサ性) に関する 第1回国際ワークショップ IWC 2012 と合流性自動証明のコンペティション CoCo 2012 が開催されます。最近は型安全が合流性により証明されるなど、興味深い応用が登場し始め ています。投稿・参加を検討して頂けましたら幸いです。
廣川 直（北陸先端科学技術大学院大学）
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