ACL2 Workshop 2000 Proceedings, Part B, Goerigk-Kaufman

The papers are listed in the order they were presented at the workshop. See http://www.cs.utexas.edu/users/moore/acl2/workshop-2000 for more information. Supporting scripts for many of the papers may be found at this site. This year we encouraged both long and short papers, the latter indended primarily to present work in progress.