This year your paper will appear in a short (up to 5 page) version in the ACM Digital Library and in our informal proceedings. See both of the main sections below for how to do this.

Formatting Details for the Digital Library

Either an abstract or a short 5 page version of your paper must be sent to the ACM Digital Library. We appreciate your extra effort involved in preparation and formatting of these short versions of your paper for the digital library.

To prepare your paper for the Digital library, make a version that is either a 5 pages or 1 pages long (your choice). Both must have a title, authors names and affiliations, abstract, and the ACM Classification section. The 1 page paper would probably not have a body past all of the metadata. Instructions for formatting the paper and filling in the metadata are found at:

Copyright Form

For inclusion in the ACM Digital Library, lead authors also should to sign (on behalf of their coauthors) a copy of Part A of the ACM Transfer of Copyright Agreement.

The ACM copyright policy is quite liberal; for example, authors retain the right to post their papers to their homepages and to reuse any portion of the work, without fee, in their own future works. Also we have arranged to continue to make the FOAL Proceedings freely available from the FOAL website.

Formatting Details for the Informal Proceedings

Our informal proceedings will use the same ACM style, with the same CR categories, general terms, and keywords in the document, as described in the ACM conference format above.

However, you retain copyright on all the material not in the ACM Digital Library. Thus, for the informal proceedings, you can use the permission block unchanged from the ACM DL version if you wish, or you can change it as you wish.

No Page Numbers

The FOAL organizers will add page numbers to all papers after final submission. Please make sure your submitted paper does not include any page numbers.

Embedding Fonts

Be sure that PDF files produced have all the fonts embedded and should use Type 1 fonts (scalable), not Type 3 (bit-mapped). You can check this in Adobe Acrobat by using the File menu, and looking at the Document Properties.

US Letter Size Files

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 for uniformity, we want to have the proceedings 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).


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.

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

Final Submission

Final versions of papers for the informal proceedings, meeting all of the above requirements must be submitted by 23:00 GMT, 24 February 2009, by email to Gary Leavens: As noted above, please send both your source document(s) and the PDF output file, as that will allow faster correction of minor problems.

Page last modified Saturday, October 31, 2009.