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.

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.

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.)

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).

ACM requires embedding all fonts, otherwise they cannot proceed with the inclusion of your paper in the Digital Library. So, please ensure that the fonts in your contributions are embedded, as follows.

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

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.

For the final version you will need to follow the steps below. More information will be available down the line, so please be prepared to revise the submission after the deadline, once the details of the IEEE publication become available. We apologize for the inconvenience. For the original deadline, please just try to do your best and embed the fonts.

(1) All files must be prepared using the IEEE conference proceedings 8.5“ x 11” two-column format (which should be the one you used for your submission anyways). Please consult

http://www.computer.org/portal/web/cscps/formatting

for document templates and paper formatting instructions. Please sure to select the two-column template. Please do not number your pages since the publisher will do this in book sequence, and do not add any footers or headers on the papers.

(2) All manuscripts must be evaluated on PDF eXpress for compliance to IEEE Xplore. Instructions for using PDF eXpress are attached below.

(3) Submit your compliant manuscript through Easychair.

PDF eXpress Online File Conversion/PDF Validation Tool

1) If you would like to create your own PDF file, please change the setting on your PDF distiller to insure your paper meets IEEE PDF specifications. Basic PDF distiller settings MUST be changed to:

- Optimized, - Acrobat 5.0 compatibility, - ALL graphics at least 300 dpi resolution (higher if preferred), - ALL fonts MUST be embedded and subset, - Postscript settings DO NOT override distiller settings, - Page size is 612.0 x 792.0 points (8.5“ x 11”).

IMPORTANT: Authors must check their final PDF files before submission to verify that all fonts have been properly embedded and subset. Some font manufacturers now flag their fonts to not embed. These fonts must be avoided.

2) If you would like to submit your source file to PDF eXpress for conversion and validation, PDF eXpress converts the following file types to PDF:

- Postscript - Microsoft Word - Freelance - PageMaker - FrameMaker - Word Pro - WordPerfect - QuarkXpress* - Rich Text Format - (La)TeX (DVI and all support files required)*

* For documents created in formats that do not embed source files, include all support files with the final manuscript in a compressed archive for submission. If it is possible to embed images in the source document, you should do so to avoid potential issues, such as missing graphics.

3) Convert/validate your files.

Go to PDF eXpress: http://www.pdf-express.org/

- Click button: “First time logging in PDF eXpress click here” - Enter your email address - Choose a password - Continue to enter information as prompted (You will receive an email confirming the successful creation of your account). - Upload either your source file or PDF file for Conversion; and/or PDF Checking. - Use PDF eXpress to obtain an IEEE Xplore-compatible PDF file. The site contains extensive instructions, resources, and helpful hints. Through your PDF eXpress account, you may submit your source application files for conversion to PDF, and/or submit PDFs for checking.

You will have the opportunity to revise your submission if you are not satisfied with the PDF that PDF eXpress creates for you, or if the system finds problems with your paper, or if your PDF fails the PDF Check.

Technical support via email and telephone is available if you experience trouble in creating your PDF. If there is a problem with your file, you will receive an e-mail detailing the problem(s). Otherwise the system will e-mail you a copy of your IEEE Xplore-compatible PDF file. If you have any questions, please do not hesitate to contact your editor or the IEEE PDF help desk at PDFsupport@ieee.org. If you have technical questions regarding PDF eXpress Web site, please contact the PDF eXpress support staff at icpsupport@redshift.net.