2009 Refinement Workshop at FM'09: Author instructions

3 November 2009, as part of FM Week 2009 at Eindhoven

• 15th October, 2009 - final papers due

Final versions

Key date: return files to Steve Reeves (stever@cs.waikato.ac.nz), cc-ed to John Derrick (J.Derrick@dcs.shef.ac.uk) by 15th October 2009.

Registration is covered by the FM week registration page, there is a basic registration for FMweek plus a small fee for the Refinement workshop event itself. We encourage you to register for the workshop and any other FM week events you wish to go to. We require that an author of each paper registers for the workshop.

A special issue of the journal Formal Aspects of Computing will be prepared after the workshop. This will contain selected papers from the workshop, and all authors are invited to submit an extended version of their conference paper.

The deadline for this will be 1st February 2010, and you will need to describe explicitly how the journal submission differes from the workshop paper. Detailed instructions will be mailed out closer to the date.

Instructions for preparing the final copy of your paper:

• Go to the ENTCS Macro Home Page http://www.entcs.org and follow the link where it says "Preparation of the final versions of an ENTCS volume" (or go directly to http://www.entcs.org/final.html ).
• Read the instructions on this page. Specifically, you will need to:
  • Follow the link to the instructions about using the macros files, and:
  • Download the generic ENTCS package via the link with that label.
  • Download the version of the file prentcsmacro.sty for Refine 2009 from the page you get to by following the link labelled "Table". (Make sure it is the file for Refine 2009, and not Refine 2008, 2007 or 2006!)
  • Replace the file entcsmacro.sty that comes with the generic package with this file.
  • Use the file example.tex from the generic package as a template for your paper.
  • Be careful to include key words in the area provided in the frontmatter section of the file.
  • Download and fill in the template.
• Send a copy of
  • the LaTeX source files for the final version of your paper, along with any nonstandard LaTeX macro files you use,
  • the template (as a text file template.txt)
  to Steve Reeves and John Derrick by the 15th October.

Organizers

• Eerke Boiten, University of Kent, UK
• John Derrick, University of Sheffield, UK
• Steve Reeves, University of Waikato, NZ