[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
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell