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


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

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