[PRL] CANCELLED: Torture chamber this Wed. (11/2) at 10am

[Carl Eastlund]

Much as I would like the feedback, my presentation isn't going to be
ready for a dress rehearsal in the morning.  Rather than waste
anyone's time on a half-baked dry-run, I will continue to work on my
own.

Carl Eastlund

On Mon, Oct 31, 2011 at 8:44 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> I'll be practicing my 15-minute talk entitled "Dracula Reborn:
> ML-style Modules, Racket Macros, and the ACL2 Theorem Prover", which I
> will present at the ACL2 Workshop in Austin on Thursday.  The talk is
> in room 366.
>
> Carl Eastlund