[Apologies if you receive multiple copies] *********************************************************** * EARLY REGISTRATION * * * * WWV 2009 * * Automated Specification and Verification of Web Systems * * 5th International Workshop * * * * Castle of Hagenberg, Austria. July 17, 2009 * * * *********************************************************** DEADLINE FOR EARLY REGISTRATION -------------------------------- June 26 WEB PAGE -------- http://www.risc.uni-linz.ac.at/conferences/wwv09/