[Apologies for multiple copies] ======================================================================== JOURNAL OF APPLIED LOGIC Special Issue on Automated Specification and Verification of Web Systems
http://www.risc.uni-linz.ac.at/people/tkutsia/jal-wwv.html DEADLINE EXTENSION ======================================================================== IMPORTANT DATES --------------- * Submission of papers: March 16, 2011 (extended). * Notification: June 6, 2011. _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
