• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. Join Us at FMCAD October 20-23
TeamVerify
TeamVerify

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
Alok Jain
ABV
Functional Verification
Formal Analysis
formal
FMCAD
IEV
IFV

Join Us at FMCAD October 20-23

1 Sep 2010 • Less than one minute read

Are you deeply interested in formal and assertion-based verification technology?  Are you wondering what algorithms and methodologies are coming over the horizon in this rapidly evolving space?  Have you been looking for an opportunity to influence the leading thinkers in this field with feedback from your real world experiences?

If so, we recommend you join us at the 10th International Conference on Formal Methods in Computer-Aided Design, a/k/a "FMCAD" on October 20-23 in Lugano, Switzerland.  While this conference has traditionally focused on research, this year the conference is expanding to bridge the gap between research and real world applications via a whole new "industrial" track complemented by detailed tutorials.  Of course Cadence R&D and Solution Architects will be there (including Distinguished Engineer Alok Jain), and they will be eager to discuss your verification challenges and project roadmaps.

For further details see http://fmcad10.iaik.tugraz.at/FMCAD10_program.pdf

Hope to see you there!

Team Verify

Follow us on Twitter: http://twitter.com/teamverify, @teamverify

 

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information