Formal Methods in Computer Aided Design 2011 -- Final CFP

*************************************************************************** 
                             FMCAD 2011                                  
                FORMAL METHODS IN COMPUTER-AIDED DESIGN                  
                        FINAL CALL FOR PAPERS                           
*************************************************************************** 

FINAL CALL FOR PAPERS 
International Conference on Formal Methods in Computer-Aided Design 
http://www.fmcad.org

University of Texas at Austin, Texas, USA 
October 30 - November 2, 2011 

IMPORTANT DATES 

Abstract Submission: May 11 

Paper Submission: May 18 

Author Notification: July 15 

Final Version: August 5 

Conference: October 30 - November 2 

CONFERENCE SCOPE 

FMCAD 2011 is the eleventh in a series of conferences on the theory
and application of formal methods in hardware and system design and