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!
Follow us on Twitter: http://twitter.com/teamverify, @teamverify