[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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
