[PRL] Practice talk(s) reminder (today @ noon, TOMORROW AT 9:00AM)

[Carl Eastlund]

My practice talk is postponed until tomorrow morning at 9am.  Sorry
for the inconvenience.

--Carl

On Nov 13, 2007 11:12 AM, Peter Dillinger <pcd at ccs.neu.edu> wrote:
> I will be practicing my ACL2 Workshop talk, "Hacking and Extending
> ACL2" at noon today in one of the W.V. H conference rooms (366, 166,
> whatever's free).
>
> Also, Carl Eastlund will be giving a practice talk at 3:30, on "ACL2
> for Freshman: First Experiences"
>
> Thanks to those who can attend and give feedback!
>
> --
> Peter Dillinger
> peterd at gatech.edu
> http://www.peterd.org