Title: Proceedings of RTA'12 (23nd International Conference on Rewriting
Techniques and Applications)
Editors: Ashish Tiwari
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 15
Publisher: Schloss Dagstuhl / Dagstuhl Publishing
ISBN: 978-3-939897-38-5
== Access ==
Open access (online & free of charge) at
http://www.dagstuhl.de/dagpub/978-3-939897-38-5
You may also check the DBLP page at
http://dblp.uni-trier.de/db/conf/rta/rta2012.html
== About the proceedings ==
The 23rd International Conference on Rewriting Techniques and Applications (RTA
2012) was held from May 28 to June 2, 2012, in Nagoya, Japan. This proceedings
volume contains the contributed papers and extended abstracts of invited talks
presented at the conference.
The program committee consisted of 21 members from 8 countries. Each submitted
paper was reviewed by at least 3 members of the Program Committee, with the help
of 69 external reviewers (who provided a total of 74 reviews). After intense
discussions and debates, a total of 22 regular research papers were accepted for
publication. We thank all the members of the program committee, as well as all
external reviewers for their hard work and critical comments.
On behalf of the Program Committee, we are happy to present the best paper award
to Kazushige Terui for the paper "Semantic evaluation, intersection types and
complexity of simply typed lambda calculus". In addition to the contributed
papers, the RTA program also consisted of three invited talks: "Computational
Real Algebraic Geometry in Practice" by Hirokazu Anai, "Rho-calculi for
computation and logic" by Claude Kirchner, and "Dictionary-Based Tree
Compression" by Sebastian Maneth. We thank the invited speakers for enriching
the conference with their talks and participation.
See also:
* Table of Contents/Preface: http://dx.doi.org/10.4230/LIPIcs.RTA.2012.i
* Proceedings webpage: http://www.dagstuhl.de/dagpub/978-3-939897-38-5
* Conference webpage: http://rta2012.trs.cm.is.nagoya-u.ac.jp/
== About the RTA conference ==
RTA is the major conference on rewriting and covers all aspects related to
rewriting such as termination, equational reasoning, theorem proving, Lambda
calculus, higher-order rewriting, unification, verification, constraints, and
software tools.
See also:
* http://rewriting.loria.fr/rta/
== About the LIPIcs series ==
"LIPIcs: Leibniz International Proceedings in Informatics" is a series
of high-quality conference proceedings across all fields in informatics
established in cooperation with "Schloss Dagstuhl--Leibniz Center of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge. The copyright
is retained by the authors.
See also:
* http://www.dagstuhl.de/lipics
--
Dr. Marc Herbstritt
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
\\\/ Dagstuhl Publishing | LIPIcs Editorial Office
Email: publishing@dagstuhl.de
http://www.dagstuhl.de/lipics
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
