Tuesday, June 14, 2011

Proceedings of RTA'11 (22nd International Conference on Rewriting Techniques and Applications)

* Book Announcement

Title: Proceedings of RTA'11 (22nd International Conference on Rewriting
Techniques and Applications)
Editors: Manfred Schmidt-Schauss
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 10
Publisher: Schloss Dagstuhl
ISBN: 978-3-939897-30-9

* Access

Open access (online & free of charge) at
http://www.dagstuhl.de/dagpub/978-3-939897-30-9

You may also check the DBLP page at
http://dblp.uni-trier.de/db/conf/rta/rta2011.html

* About the proceedings

This volume contains the papers presented at the 22nd International
Conference on Rewriting Techniques and Applications (RTA 2011) which was
held from May 30 to June 1, 2011, in Novi Sad, Serbia as part of the RDP
2011 Federated Conference on Rewriting, Deduction, and Programming, toget
her
with the 10th Typed Lambda Calculi and Applications (TLCA 2011).

RTA is the major forum for the presentation of research on all aspects of

rewriting. For RTA 2011, 20 regular research papers and eight system
descriptions were accepted out of 46 submissions. The Program Committee g
ave
the award for the Best Contribution to RTA 2011 to Aaron Stump, Garrin
Kimmell and Roba El-Haj Omar for their paper “Type Preservation
as a
Confluence Problem” (http://dx.doi.org/10.4230/LIPIcs.RTA.2011.3
45). In
addition to the contributed papers, the RTA program contained an invited
talk by Sophie Tison with title “Tree Automata, (Dis-)Equality C
onstraints