WRLA2006

6th International Workshop on Rewriting Logic and its Applications

Vienna, Austria, April 1-2, 2006

Home page: http://www-formal.stanford.edu/clt/WRLA06/
Contact e-mail: wrla06@csl.sri.com

INSTRUCTIONS FOR AUTHORS

The workshop proceedings will be published as a volume of ENTCS (Electronic Notes in Computer Science). A preliminary version will be printed and available at the workshop. Authors must format their papers using the ENTCS Latex style. You can find the style files and instructions at the ENTCS website . For your convenience we have collect the necessary materials here.

The readme.first file in generic explains how to use the ENTCS package. For the conference proceedings authors should send a self-contains set of latex source files to
wrla06@csl.sri.com

by February 13, 2006. Instructions will be sent to authors after the conference regarding publication of post conference proceedings.