Subject: PLDI practice talk
From: Todd D Millstein (todd@cs.washington.edu)
Date: Mon Jun 11 2001 - 13:33:00 PDT
Hi,
I'm giving a practice talk for PLDI this Friday, June 15 at 1:30 in the
Chateau conference room. I would greatly appreciate feedback. The talk
is about work I did last summer at MSR on software model checking.
Cookies will be provided.
Let me know if this is a particularly bad time for some reason, and I can
reschedule.
Thanks a lot.
Todd
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Mon Jun 11 2001 - 13:34:04 PDT