[PRL] Practice Talk for Boston Lisp Meeting 3/30

Carl Eastlund cce at ccs.neu.edu
Thu Mar 26 13:33:13 EDT 2009


This coming Monday, I'll be talking about Modular ACL2 at the Boston
Lisp Meeting.  On Friday (tomorrow) I'll be practicing the talk in WVH
366 at 5pm.  I would appreciate a few audience members for Torture
Chamber-style feedback.  Thanks in advance to all who attend.

-- 
Carl Eastlund



More information about the PRL mailing list