{"51641":{"#nid":"51641","#data":{"type":"news","title":"Manolios Co-Chairs FMCAD 2006","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003E(October 24, 2006)--\u003C\/strong\u003ECollege 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.\u003C\/p\u003E\n\u003Cp\u003EManolios is part of the College\u0027s Computing Science \u0026amp; 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.\u003C\/p\u003E\n\u003Cp\u003EIn 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.\u003C\/p\u003E\n\u003Cp\u003EIn 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.\u003C\/p\u003E\n\u003Cp\u003EThe 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.\u003C\/p\u003E\n\u003Cp\u003EFor more information about FMCAD 2006, \u003Ca href=\u0022http:\/\/www.cc.gatech.edu\/~manolios\/fmcad06\/\u0022 target=\u0022_blank\u0022\u003Eclick here\u003C\/a\u003E.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EAssistant Professor Pete Manolios is co-chair of this year\u0027s Formal Methods in Computer Aided Design, a leading forum for academia and industry to present and discuss groundbreaking theory and applications\u00a0of hardware and system verification.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":"","uid":"27154","created_gmt":"2010-02-09 21:46:44","changed_gmt":"2016-10-08 03:05:04","author":"Louise Russo","boilerplate_text":"","field_publication":"","field_article_url":"","dateline":{"date":"2006-10-24T00:00:00-04:00","iso_date":"2006-10-24T00:00:00-04:00","tz":"America\/New_York"},"extras":[],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}