Sign for Notice Everyday Sign up | Login

Main Menu
Searching By


2012 Formal Methods in Computer-Aided Design (FMCAD)

Topics/Call fo Papers

IEEE Conference Record #: 20976

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


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



Abstract Submission Date: 5/9/2012

Notification of Acceptance: 7/13/2012

Final Paper Submission Date: 5/20/2012