On Monday I'll be practicing my thesis proposal talk at 1:30 in room 366. I encourage all of you to attend the ACL2 Workshop the rest of the day (and Tuesday), but for that brief time I could use some eyes on my presentation. Thanks! -- Carl Eastlund