FMCAD 2007
Formal Methods in Computer Aided Design
Austin, TX, USA
November 11 - 14

Submissions are now closed. Instructions for final document preparation below:

The submissions web page is here. Two categories of papers will be accepted: regular (at most 8 pages) and short (at most 4 pages). For more information see the call for papers. Please read the following before submitting your paper.

Abstract Submission Deadline April 30, 2007
Paper Submission DeadlineMay 7, 2007
Acceptance NotificationJune 21, 2007
Final Version DueAugust 17, 2007