If you questios about submissions, please contact the program chairs - Simon Foley (s.foley@cs.ucc.ie) and R. Sekar (sekar@cs.sunysb.edu)