{"51685":{"#nid":"51685","#data":{"type":"news","title":"Manolios Chairs ACL2\u002706 \u0026 Grand Challenge Panel","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003E(September 5, 2006)--\u003C\/strong\u003ECollege of Computing Assistant Professor Pete Manolios co-chaired ACL2\u002706, the sixth international workshop on the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system that was awarded the prestigious Association for Computing Machinery (ACM) Software System Award in 2005.\u003C\/p\u003E\n\u003Cp\u003EThe ACL2 workshops provide the major technical forum for researchers to present and discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia. ACL2\u002706 included 18 refereed papers and was held in cooperation with ACM SIGPLAN and ACM SIGSOFT, a Symposium on Foundations of Software Engineering.\u003C\/p\u003E\n\u003Cp\u003EThe workshops also included a panel, chaired by Pete Manolios that explored Grand Challenge Problems for the ACL2 community. An invited talk by Sir Tony Hoare titled \u0022The Ideal of Verified Software\u0022 was followed by a lively panel consisting of leaders from academia, industry, and government.\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 faculty member in the School of Electrical and Computer Engineering at Georgia Tech. 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\u003EFor more information about ACL2\u00272006, \u003Ca href=\u0022http:\/\/www.cc.gatech.edu\/~manolios\/acl206\/\u0022 target=\u0022_blank\u0022\u003Eclick here\u003C\/a\u003E.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003ECollege of Computing Assistant Professor Pete Manolios co-chaired\u00a0the sixth international workshop on the ACL2 theorem prover and its applications.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":"","uid":"27154","created_gmt":"2010-02-09 21:46:50","changed_gmt":"2016-10-08 03:05:08","author":"Louise Russo","boilerplate_text":"","field_publication":"","field_article_url":"","dateline":{"date":"2006-09-06T00:00:00-04:00","iso_date":"2006-09-06T00: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":""}}}