[PRL] Torture Chamber: 9am tomorrow, Hygienic Macros for the ACL2 Theorem Prover

[Carl Eastlund]

Room change: we will be in 366.

On Mon, Sep 21, 2009 at 12:24 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> I will be practicing my IFL talk tomorrow morning at 9am in room 164.
> The talk has a 25 minute slot, so I will speak for about 20 minutes
> and then you can all get out the thumbscrews.
>
> Carl Eastlund