*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Atlanta, GA | Posted: October 24, 2006
(October 24, 2006)--College of Computing Assistant Professor Pete Manolios is co-chair of the 2006 Formal Methods in Computer Aided Design (FMCAD), the sixth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD is sponsored by the Institute of Electrical and Electronics Engineers, Inc (IEEE) and held in cooperation with the Association for Computing Machinery (ACM), providing a leading forum for researchers in academia and industry to present and discuss groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems.
Manolios is part of the College's Computing Science & Systems (CSS) division, as well as the Center for Experimental Research in Computer Systems (CERCS) and the Georgia Tech Information Security Center (GTISC). He is also an adjunct in the School of Electrical and Computer Engineering at Tech, and his current research focuses on developing and applying formal verification techniques to help build computing systems that society can depend on.
In addition to the technical program, FMCAD will offer a full day of tutorials on model checking, theorem proving, decision procedures, and the application of such methods in industry. FMCAD will also include a panel on complementing simulation with formal methods and an affiliated workshop on pre- and post-silicon verification.
In the past, FMCAD was held in the U.S. on even years while its European counterpart the Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) was held on odd years. However, the two conferences have merged recently, and as a result, FMCAD will be an annual conference going forward.
The 2006 FMCAD conference will be held in San Jose, California on November 12-16. The proceedings will be published by the IEEE and will be available online in the ACM Digital Library and the IEEE Xplore Digital Library.
For more information about FMCAD 2006, click here.
