Greetings [and apologies if you get multiple copies]:
The fifth ACL2 Workshop will be held November 18-19, 2004, in Austin Texas,
USA, in conjunction with (and immediately following) FMCAD. We invite users
of ACL2, users of other theorem provers, and persons interested in the
applications of theo
Greetings [and apologies if you get multiple copies]:
The fifth ACL2 Workshop will be held November 18-19, 2004, in Austin Texas,
USA, in conjunction with (and immediately following) FMCAD. We invite users
of ACL2, users of other theorem provers, and persons interested in the
applications of theo
