[PRL] Torture Chamber, Thursday 5:00pm

[Carl Eastlund]

On Wed, Jan 14, 2009 at 10:54 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> On Thursday (1/15) at 5:00pm, I will be practicing my talk for PADL
> entitled "Toward a Practical Module System for ACL2".  The talk is
> intended to be around 25 minutes.  The practice will be in "torture
> chamber" format.
>
> Room TBA.

I reserved room 166.  And I remembered my video adapter today.  ;)

-- 
Carl Eastlund