Greg Morrisett asked me to pass along the following conference announcement. Heap Analysis and Verification HAV 2008 July 14, 2008, Princeton, New Jersey a workshop affiliated with CAV'08 Details at http://research.microsoft.com/~jjb/hav2008/index.html --Mitch