(September 5, 2006)--College of Computing Assistant Professor Pete Manolios co-chaired ACL2'06, 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.

The 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'06 included 18 refereed papers and was held in cooperation with ACM SIGPLAN and ACM SIGSOFT, a Symposium on Foundations of Software Engineering.

The 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 "The Ideal of Verified Software" was followed by a lively panel consisting of leaders from academia, industry, and government.

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

For more information about ACL2'2006, click here.