Overview

ACL2 2006 is the sixth in a series of workshops that occur every 18 months. 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 is an industrial-strength automated reasoning system that is part of the Boyer-Moore family of theorem provers, winner of the 2005 ACM Software System Award. Information about ACL2 including downloads, documentation, related papers and books, and previous workshops can be found on the ACL2 webpage.

The ACL2 workshop is held in-cooperation with ACM SIGPLAN and the proceedings will be published in the ACM Digital Library.

More information can be found at the official ACL2 2006 Web page.  

Program

• ACL program
• ACL accepted papers

Invited Talks

• Tuesday, August 15th, 16:00‑16:45
  Tony Hoare (Microsoft Research)
  The Ideal of Verified Software

Organizing Committee

• Chairs
  • Panagiotis Manolios, Georgia Institute of Technology, USA
  • Matthew Wilding, Rockwell Collins Inc., USA
• Publications
  • Ruben Gamboa, University of Wyoming, USA
• Webmasters
  • Sudarshan Srinivasan, Georgia Institute of Technology, USA
  • Daron Vroon, Georgia Institute of Technology, USA

Program Committee

• Ruben Gamboa, University of Wyoming, USA
• David Greve, Rockwell Collins Inc., USA
• Warren Hunt, University of Texas at Austin, USA
• Deepak Kapur, University of New Mexico, USA
• Matt Kaufmann, University of Texas at Austin, USA
• Bill Legato, NSA, USA
• Panagiotis Manolios, Georgia Institute of Technology, USA
• Jose Meseguer, University of Illinois at Urbana-Champaign, USA
• Paul Miner, NASA Langley Research Center, USA
• J Strother Moore, University of Texas at Austin, USA
• Lawrence C. Paulson, University of Cambridge, UK
• Jose Luis Ruiz-Reina, University of Seville, Spain
• David M. Russinoff, Advanced Micro Devices, Inc., USA
• Jun Sawada, IBM Austin Research Laboratory, USA
• Mary Sheeran, Chalmers University of Technology, Sweden
• Konrad Slind, University of Utah, USA
• Matthew Wilding, Rockwell Collins Inc., USA

Contact Information