Conference Title: 2012 Formal Methods in Computer-Aided Design (FMCAD)

Conference Acronym: FMCAD

Conference Dates: 10/22/2012 to 10/25/2012

Location: Microsoft Research Cambridge

City: Cambridge

Country: United Kingdom

State/Province:

Exhibits: N No. of Exhibits: 0 Tutorials: Y Attendance: 120 Producing Publication: Y Concentration Banking Info: No

Conference Scope: FMCAD is the twelfth in a series of international conferences on the theory and applications of formal methods in hardware and system verification.

Conference Keywords: formal, methods, computer-aided, design, fmcad, hardware verification, software verification, formal specification

Conference Focus: Application,Scientific/Academic

WWW URL: www.cs.utexas.edu/users/hunt/FMCAD/FMCAD12/

CFP URL: www.cs.utexas.edu/users/hunt/FMCAD/FMCAD12/cfp.html

Abstract Submission Date: 5/9/2012

Notification of Acceptance: 7/13/2012

Final Paper Submission Date: 5/20/2012