合流性 (チャーチ・ロッサ性) に関するワークショップ IWC 2012 の投稿期限延長を
お知らせ致します。IWC 2012 は名古屋で行われます RTA 2012 に併設される
ワークショップです。ご投稿・ご参加を検討して頂ければ幸いです。
廣川 直（北陸先端科学技術大学院大学）
======================================================================
Second Call for Papers
(* extended deadline *)
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)
http://coco.nue.riec.tohoku.ac.jp/2012/
takes place.
IMPORTANT DATES:
* submission March 26, 2012 (extended)
* notification April 9, 2012
* final version April 30, 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 EasyChair style. Submission
will be via EasyChair at
https://www.easychair.org/account/signin.cgi?conf=iwc2012
皆様、
高階書換え系のワークショップ HOR'12 のご案内です。
6月のRTA'12に併設開催予定で、今年で6回目となります。
バリバリの書換え研究から、証明支援系やプログラミング言語への
応用まで、高階書換えに関係する論文を広く募集いたします。
今年はさらにすでに発表された論文の発表枠も設け、盛上げたく思っ
ておりますので、ぜひ投稿をご検討ください。
なおポストプロシーディングスは、EPTCSから出版予定です。
--
浜名 誠/群馬大学
=====================================================================
Call for papers
6th International Workshop on Higher-Order Rewriting
HOR 2012
June 2, 2012, Nagoya, Japan
Colocated with RTA'12
http://www.cs.gunma-u.ac.jp/events/hor/
======================================================================
HOR is a forum to present work concerning all aspects of
higher-order rewriting. The aim is to provide an informal and friendly
setting to discuss recent work and work in progress concerning higher-order
rewriting. The following is a non-exhaustive list of topics for the workshop:
* Applications:
proof checking, type checking, theorem proving, functional programming,
declarative programming, program transformation, using some notions of
higher-order rewriting.
* Foundations:
pattern matching, unification, strategies, termination, syntactic properties,
type theory, for higher-order rewriting.
* Frameworks:
graph rewriting, net rewriting, comparisons of different formats.
* Implementation:
explicit substitution, rewriting tools, compilation techniques.
* Semantics:
semantics of higher-order rewriting, higher-order abstract syntax,
categorical rewriting.
Important dates
---------------
Paper submission: March 19, 2012
Notification: April 20, 2012
Final version: May 10, 2012
Workshop: June 2, 2012
Submissions
-----------
Two categories of papers are solicited:
- Category A: Extended abstracts of new results, describing work in
progress, or problems in higher-order rewriting.
- Category B: Short versions of recently published or submitted
elsewhere articles on higher-order rewriting. Papers in this category
are for presentation only, and not considered as candidates for the
post-workshop proceedings.
Papers in both categories should be between 2 and 5 pages, and should note
the category (either A or B). Papers are formatted according to EPTCS style,
and submitted electronically via the EasyChair submission website. Papers
will be judged on relevance, originality, correctness and usefulness.
Please address your questions to the PC chair: hamana at cs.gunma-u.ac.jp.
Proceedings
-----------
The proceedings of HOR 2012 will be made available on the HOR 2012 web page,
and a printed version will be distributed at the workshop. Post-workshop
proceedings of extended abstracts of selected contributions is planned to be
published as a volume of EPTCS.
Program Committee
-------------------
Andreas Abel (Ludwig-Maximilians-University Munich, Germany)
Frederic Blanqui (INRIA, France)
Makoto Hamana (Gunma University, Japan) (chair)
Stefan Kahrs (University of Kent, UK)
Fer-Jan de Vries (University of Leicester, UK)
Program and Organizing Chair
----------------------------
Makoto Hamana (Gunma University, Japan)
