[DMANET] RTA'13 Proceedings published open access (LIPIcs,Vol.21)

= Book Announcement =

Title: 24th International Conference on Rewriting Techniques and
Applications (RTA 2013)
Editor: Femke van Raamsdonk
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 21
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-53-8

== Access ==

Open access (online & free of charge) at

http://www.dagstuhl.de/dagpub/978-3-939897-53-8

You may also check the DBLP page at

http://dblp.uni-trier.de/db/conf/rta/rta2013.html

== About the Proceedings ==

RTA 2013 received 50 submissions from 16 countries. The programme
committee selected 20 regular papers and 1 system description for
presentation at the conference. The selection process greatly benefitted
from the conscientious and excellent work of in total 71 external
reviewers, some of whom reviewed more than one paper. The programme
committee selected the contributions Linear Logic and Strong
Normalization by Beniamino Accattoli and A Homotopical Completion
Procedure with Applications to Coherence of Monoids by Yves Guiraud,
Philippe Malbos, and Samuel Mimram together for the best paper award.

Jarkko Kari, Mitsuhiro Okada, and Simon Peyton Jones presented invited
talks at RTA 2013. The talk by Simon Peyton Jones was joint with TLCA
2013. It is a great pleasure to thank the invited speakers for enriching
the conference with their talks and their participation, and for their
contributions to the present proceedings.

See also:
* Frontmatter incl. table of contents and preface:
http://dx.doi.org/10.4230/LIPIcs.RTA.2013.i

== 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.

See also:
* http://www.dagstuhl.de/lipics/

--
Dr. Marc Herbstritt
Schloss Dagstuhl - Leibniz Center for Informatics
\\\/ 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/
*
**********************************************************