FMCAD is the twelfth in a series of international conferences on the theory and applications of formal methods in hardware and system verification.
22 Oct - 25 Oct 2012
Microsoft Research Cambridge
Cambridge, United Kingdom
Dipartimento di Automatica e Informatica
Politecnico di Torino
Corso Duca degli Abruzzi 24
Torino Italy 10129
Please see the conference Web site for full details.
Abstract submission deadline: 09 May 2012
Final submission deadline: 20 May 2012
Notification of acceptance date: 13 Jul 2012