From: "David L. Rager"
Date: Mon, 23 Apr 2007 20:27:53 -0500

Hello ACL2 Meeting Attendees,

The ACL2 group will meet this Wednesday from 4:00-5:45 in ACES 3.116.  

A fifteen minute roundtable discussion will occur at 4:00, followed by a
talk on Parallel ACL2.  This talk will present an abstract view of the
design and implementation of PACL2.  Only five minutes will be spent on
reviewing the parallelism primitives themselves (hopefully), and the
remainder of the talk will be about implementation decisions.  This talk is
planned for 30 minutes but may go the usual hour.

Warning: so far the talk is interactive, so be prepared to answer
semi-trivial audience participation questions.

Thanks and hope to see you there,
David