Announcements

• 10/20/2004: I installed the newly released ACL2 version 2.9 and GCL 2.6.5. See the tools page off of the class Web page for details.
• 10/20/2004: I scheduled the presentations. See the class Web page for details.
  1. Let me know if any of you have a problem with the schedule & note that one Tuesday meeting has been rescheduled to a Friday.
  2. Check the title of your presentation & get me the list of papers to be read by the class.

Last modified: Wed Oct 20 15:00:30 EDT 2004