SAVCBS'07 Specification and Verification of Component-Based Systems Workshop at ESEC/FSE 2007 September 3-4, 2007

## Overview

Finished papers are to be sent by email to Gary T. Leavens, but copyright forms are to be sent to Adrienne Griscti at ACM headquarters (see below). This page tells you how to contact Adrienne Griscti and how to properly format the permission block, and how to include the required metadata (keywords, general terms, and CR categories) for the ACM digital library.

## Formatting Details for Authors

Since papers are going into the digital library, authors need to sign a copyright form and format papers carefully in ACM Conference format.

For the same reason, authors must include CR categories, general terms, and keywords in their document, as described in the ACM conference format.

### What Files to Send

Please send us a zip or tar file containing your sources, so that we can resolve any minor formatting issues in a timely fashion.

It will be most helpful to us if you name your file using the authors family names, separated by hyphens, such as Jones-Hoare.pdf and Jones-Hoare.zip.

Finally, for the proceedings we need a PDF file in US letter format. You can also send us a PDF in A4 format (named as in Jones-Hoare-A4.pdf), but we need to send the proceedings to the ACM DL in US letter size pages. To produce this, using dvips, the general technique for doing this is to use dvips -t letter. Using pdflatex, you can change the paper size by editing the pdftex.cfg file, which is found in $TEXMF/pdftex. Or you can try putting the following after the \begin{document} command (thanks to Mark Senn). \special{papersize=8.5in,11in} \setlength{\pdfpageheight}{\paperheight} \setlength{\pdfpagewidth}{\paperwidth}  Word users can see this set of instructions from Simon Fraser University. If you are having trouble with making US letter size pages, just let us know. From your source files, we can usually produce the US letter pages. We can also produce PDF from dvi or postscript files. ### Copyright Form For inclusion in the ACM Digital Library, lead authors also need to sign (on behalf of their coauthors) a copy of Part A of the ACM Transfer of Copyright Agreement. Please send them directly to the attention of Adrienne Griscti at: Adrienne Griscti Publications Coordinator ACM 2 Penn Plaza, Suite 701 New York, NY 10121-0701 (Phone) 212-626-0615 (Fax) 212-302-5826  Note the that ACM will not publish your paper if you do not sign the copyright form. ### Permission Block Authors must format their papers with a permission block at the bottom left of the first page that reads as follows. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007), September 3-4, 2007, Cavtat near Dubrovnik, Croatia. Copyright 2007 ACM ISBN 978-1-59593-721-6/07/0009 ...$5.00

#### Word

If you are using Word, use the alternate document template to get the permission block in the right place.

If there isn't enough room in the permission block, abbreviate the conference to SAVCBS 2007.

Be sure to include CR categories, general terms, and keywords.

#### LaTeX with sig-alternate.cls Style File

If you are using LaTeX, we recommend using the sig-alternate.cls style. If you do that, then your document should start with the following.

\documentclass{sig-alternate}
\usepackage[T1]{fontenc}     % this is optional


To get the permission block use the following after \begin{document}:

\conferenceinfo{Sixth International Workshop on Specification and
Verification of Component-Based Systems (SAVCBS 2007),
}{September 3-4, 2007, Cavtat near Dubrovnik, Croatia.}
\crdata{ISBN 978-1-59593-721-6/07/0009}


#### LaTeX with acm_proc_article-sp.cls Style File

\documentclass{acm_proc_article-sp}
\usepackage[T1]{fontenc}     % this is optional


Then, when using this style, you generate the permission block by using the following (which can appear before the \begin{document} in this style):

\toappear{
Permission to make digital or hard copies of all or part of this work
for personal or classroom use is granted without fee
provided that copies are not made or distributed for profit
or commercial advantage and that copies bear this notice
and the full citation on the first page. To copy otherwise, to republish,
to post on servers or to redistribute to lists,
requires prior specific permission and/or a fee.\newline
\textit{
Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007)},
September 3-4, 2007, Cavtat near Dubrovnik, Croatia.\newline