WRLA2008

7th International Workshop on Rewriting Logic and its Applications

Budapest, Hungary, March29-30, 2008

Home page: http://wrla08.cs.uiuc.edu/
Contact e-mail: wrla08@cs.uiuc.edu

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. Papers should not exceed 15 pages in this format. 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
wrla08@cs.uiuc.edu

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