Date: Tue, 21 Mar 2006 00:42:02 -0600
From: Sol Swords
Subject: ACL2 seminar, March 22


Hi all,

We'll be in our normal place, normal time this week (ACES 3.116, 
4:00-5:45).  There's another meeting in the room until 3:55 as well, so 
don't be confused if you get there and there's something else going on.  
We'll be hearing from Alex about two new interfaces for ACL2.  His 
abstract is below.
 - Sol


Recently, two projects emerged to provide an intuitive graphical

interface for new ACL2 users: ACL2 in Eclipse and ACL2 in DrScheme.

ACL2 in Eclipse (http://naxos.cc.gt.atl.ga.us/acl2-eclipse/a2s-doc/)

extends the Eclipse development environment to support ACL2 work; it

aims to be useful to expert users as well as novices. ACL2 in DrScheme

(http://www.ccs.neu.edu/home/dalev/acl2-drscheme/) combines the ACL2

theorem prover with the DrScheme programming environment; in addition

to helping new users, the project's objective is making ACL2 useful to

those interested in graphics, interactive games, and sound. I will

demonstrate both programming environments and use them to prove some

interesting theorems.

 

-Alex