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

[Carl Eastlund]

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