Posted by mike demler on August 21, 2008
The list of conferences and workshops that have included content relating to AMS verification keeps growing. I am looking for a good way to compile all of the dates and events into a more usable calendar, but in the mean time I will let you know about them here.
Scott Little added a comment on the blog recently, bringing to my attention the conference on Formal Methods in Computer Aided Design (FMCAD), which will be held in Portland, Oregon on November 17-20 this year. FMCAD focuses on “the theory and applications of formal methods in hardware and system verification”. While I don’t see any topics on this year’s agenda that strike me as AMS-oriented, the 2007 FMCAD program had an interesting AMS paper:
If you have access to IEEE Xplore you can find the paper online.
I also found that the recent (July 23-26) VLSI Design And Test Symposium (VDAT-2008) in Bangalore, India had an interesting AMS session. The goal of VDAT is “to promote Research and Development on all aspects of VLSI in India“. The work presented there is definitely of interest globally. As Thomas Friedman said, “The world is flat“! You can check out the program for VDAT-2008 online. The Analog-4 session actually had two papers (one is missing online):
Let me know if you have more additions to share with the rapidly growing AMS verification community.