We are grateful to our sponsors for their support.

We have technical co-sponsorship from IEEE's CEDA (Council on Electronic Design Automation) and in-cooperation status with ACM's SIGPLAN (Special Interest Group on Programming Languages) and SIGSOFT (Special Interest Group on Software Engineering) for FMCAD 2012.

We gratefully acknowledge financial contributions from the following sources (given in alphabetical order).

ARM Centaur Technology IBM Intel
Jasper NEC Labs America Onespin
Microsoft Atrenta Mentor