X-IronPort-MID: 136187304
X-SBRS: 2.3
X-BrightmailFiltered: true
X-Ironport-AV: i="3.83,131,1089003600"; 
   d="scan'208"; a="136187304:sNHT23728556"
Date: Mon, 16 Aug 2004 16:08:24 -0500
From: "Robert Sumners" <robert.sumners@amd.com>
To: acl2-mtg@lists.cc.utexas.edu
Subject: ACL2 meeting this week
X-Spam-Status: No, hits=NA required=NA tests=AMD_INTERNAL
X-Spam-Level: 
X-Scanned-By: MIMEDefang 2.39
X-WSS-ID: 6D3FFDC3744749-01-01
Content-Type: text/plain
Reply-To: acl2-mtg@lists.cc.utexas.edu
Sender: owner-acl2-mtg@lists.cc.utexas.edu
X-Listprocessor-Version: 8.2.10/020311/17:52 -- ListProc(tm) by CREN
X-SpamAssassin-Status: No, hits=-2.6 required=5.0
X-UTCS-Spam-Status: No, hits=-232 required=180

All-

We will have an ACL2 meeting this week (August 18th) and I will be talking
about some work that Sandip Ray and I have been working on in "automating" the
proof of invariants for certain types of system definitions in ACL2. The talk
will be example-driven and expectedly (and hopefully :) short, so I imagine
there will be plenty of time for round-table discussion.

-Rob