Manolios Co-Chairs FMCAD 2006

No contact information submitted.
Sidebar Content
No sidebar content submitted.

Summary Sentence:

No summary sentence submitted.

Full Summary:

Assistant Professor Pete Manolios is co-chair of this year's Formal Methods in Computer Aided Design, a leading forum for academia and industry to present and discuss groundbreaking theory and applicationsĀ of hardware and system verification.

(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.

Additional Information


College of Computing

No categories were selected.
Related Core Research Areas
No core research areas were selected.
Newsroom Topics
No newsroom topics were selected.
No keywords were submitted.
  • Created By: Louise Russo
  • Workflow Status: Published
  • Created On: Feb 9, 2010 - 4:46pm
  • Last Updated: Oct 7, 2016 - 11:05pm