Follow:
Facebook Twitter LinkedIn YouTube
Share:

Home  >  Conferences & Events  >  Conference Details

2012 Formal Methods in Computer-Aided Design (FMCAD)

IEEE sponsors:

  • IEEE Council on Electronic Design Automation

Other sponsors:

  • FMCAD

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

 

Conference Details

Dates

22 Oct - 25 Oct 2012

 

Location

Microsoft Research Cambridge
Cambridge, United Kingdom

 

Web site

 

Contact

Gianpiero Cabodi
Dipartimento di Automatica e Informatica
Politecnico di Torino
Corso Duca degli Abruzzi 24
Torino Italy 10129
+390110907082
gianpiero.cabodi@polito.it

 

Conference #

20976

 

Attendance

120

 

Publications

 

 

Please see the conference Web site for full details.

Call for Papers for Conference Authors

Find details for paper and abstract submission.

Abstract submission deadline: 09 May 2012

Final submission deadline: 20 May 2012

Notification of acceptance date: 13 Jul 2012

 

 

Features

  • Tutorials