[PRL] Torture Chamber TIME CHANGE: Wednesday 9/2, 2:00pm, WVH ???

[Carl Eastlund]

Sorry, forgot about a potentially conflicting appointment; make it 2pm
instead of 3pm.  Conference room likely to change.

Carl Eastlund

On Mon, Aug 31, 2009 at 4:28 PM, Carl Eastlund<cce at ccs.neu.edu> wrote:
> I'll be practicing my talk for PPDP (Principles and Practice of
> Declarative Programming) in Portugal: Making Induction Manifest in
> Modular ACL2.  The talk has a 25-minute slot, but as always with
> comments and whatnot the process will probably last one-and-a-half to
> two hours.
>
> Carl Eastlund