[Apologies for multiple copies] ======================================================================== JOURNAL OF SYMBOLIC COMPUTATION Special Issue on Automated Specification and Verification of Web Systems ======================================================================== EXTENDED DEADLINES --------------- * Submission of papers: December 7, 2009. * Notification of acceptance/rejection: March 29, 2010. For the details, please visit the web page: http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-wwv.html