Lab for Automated Reasoning and Analysis LARA

FMCAD 2011 Instructions for Camera-Ready Version of Papers

http://www.cs.utexas.edu/users/ragerdl/fmcad11/

Congratulations on the acceptance of your FMCAD 2011 contribution. We are pleased to inform you that we expect the proceedings to be published both through ACM and IEEE digital libraries (as well as on the FMCAD web site for rapid dissemination).

To ensure that your paper is published, please follow carefully the following instructions.

DEADLINE

The strict camera-ready deadline is August 5th, as announced on FMCAD 2011 page.

This deadline is strict. If you have any questions or difficulties, please contact viktor.kuncak@epfl.ch immediately, with 'FMCAD11' in your subject.

Submission Method of Your Final Version

Please use the submission site,

http://www.easychair.org/conferences/?conf=fmcad11

and log in in the role of Proceedings Author.

Please make sure that you upload the camera-ready version of your paper as a zip file containing BOTH the pdf file and the source files (e.g. latex). We will need the sources of your paper for the proceedings.

Please double-check that the zip file contains all the sources necessary for a standard compilation of your paper. Physically putting all included files inside your latex source is recommended - it will make our life easier.

Please print and sign this copyright form, scan it, and upload it through easychair. (Contact Viktor in case of any problems.)

Page Limits

Papers must use the IEEE Transactions format on letter-size paper using a 10-point font. See

http://www.ieee.org/conferences_events/conferences/publishing/templates.html

The page limit is

  • 10 pages for regular papers, invited talks, and invited tutorials
    • Yes, we indeed allow you up to 10 pages in the final version
  • 5 pages for short papers
  • 1 page for panel organizers

The page limits are strict. You are welcome to use less pages if you wish, in particular you can use the original limit of 8 pages (of course, for refereed submissions, do not remove any contributions compared to your submission unless specifically instructed so by reviewers).

Do not use the compsoc option of the style–this will increase font size substantially.

Please remove all page numbers and other footers and headers. We need this space to insert the proceedings page numbers.

Please also make sure that you use the 'letter' page size. If you produce your final document through a sequence of transformations (such as latex), you may need to check that various tools in this chain are all set up to use the right page size.

Font Embedding

We require embedding all fonts, otherwise they cannot proceed with the publication of your paper. So, please ensure that the fonts in your contributions are embedded, as follows.

LaTeX

For LaTeX conversions, please consult ACM's FAQ item number 14: http://www.acm.org/sigs/publications/sigfaq#a14

As a quick tip, if you are using a recent latex installation, what tends to work for a good pdf file is the following. Use latex and then dvips to build a postscript file. Then run this script:

ps2pdf14 -dPDFSETTINGS=/prepress input.ps output.pdf

where input.ps is your postscript file produced by dvips, and output.pdf will be the new pdf file. You can check that fonts are embedded and that there are no basic internal errors by running

pdffonts output.pdf

However, note that this method is not perfect. To be sure that the fonts were indeed embedded, you can open the file with an Adobe Acrobat Reader, select File, Properties and click on the Fonts tab (this works in Version 10). Adobe professional tools should in principle be able to deal with diagnostics more accurately.

Word

Checking for embedded fonts in a PDF file

1) Open file in Adobe Acrobat or Reader
2) Click on the "File" menu option
3) Click on "Document Properties"
4) Click on the "Fonts" tab
5) Each font listed should have "(Embedded) or "(Embedded Subset)" next to the font name

For converting Word to PDF,

Use the acm.joboptions distiller settings as the default distiller
1) open distiller and click on settings
2) Choose "Add Adobe PDF Settings"
3) Choose the attached ACM.joboptions file; save
4) change the default setting option to "ACM"; exit distiller

or  

1)	click on the Word "Acrobat" tab at the top of the window.
2)	Click on the "Preferences" option; the "Acrobat PDFMaker" window should appear.
3)	On the "Settings" tab, click on the Advanced Settings" link
4)	You are now in the Acrobat Distiller settings window.
5)	In the "General" tab, the resolution should be set to 600 DPI. Both "Embedded thumbnails" and "Optimize for fast web view" should be checked
6)	On the "Images" tab, Downsample should be off for all image types
7)	On the "Fonts" tab, both "Embed all fonts" and "Subset embedded fonts when percent of characters used is less than 100%"
8)	No other options need to be saved, so you can press "OK"
9)	Proceed to create the PDF.

 
fmcad11.txt · Last modified: 2011/08/25 00:28 by vkuncak
 
© EPFL 2018 - Legal notice