Meeting: April 30, 2008, at 2:30 p.m. in the 402 Auditorium Agenda: 2:30 p.m. Refreshments 2:45 p.m. APS Update – Murray Gibson 3:05 p.m. ISM Verification – Tom Barkalow 3:20 p.m. Theory and Computing Sciences Building – Mary Spada 3:45 p.m. Adjourn