Acronymed GREPS (... just what we're looking for), is to be held on September 16 in Brasov, Romania, co-located with PACT. We'd like to bring this workshop to your attention; the submission site is now open until July 24, see http://sysrun.haifa.il.ibm.com/hrl/greps2007/ Albert and Ayal.