Formal Methods in Computer-Aided Design, 3-6 October, 2016, Mountain View, CA, USA


Note: Paper submission is now closed

Submissions must be made electronically in PDF format via EasyChair, at

If you do not already have an EasyChair account, you will need to sign up for one.

For both regular and tool & case study papers, abstracts are due on 9th May, 2016 and papers are due on 16th May, 2016. Go to Important Dates for more information about deadlines.


  • If prepared using latex, papers should follow the “Templates for Transactions” found on this link.
  • Both Regular and Tool & Case Study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size. Regular papers can be up to 8 pages in length, while Tool & Case Study papers can be up to 4 pages in length. There is no requirement to use the full number of pages allotted in either category. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix.
  • Submissions are NOT anonymous. Please indicate authors and affiliations as for the final version of the paper.