Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
[Haskell] Deadline Extension: JSC Special Issue on Automated Specification and Verification of Web Systems
0 views
Skip to first unread message
de...@dimi.uniud.it
Nov 23, 2009, 6:51:06 AM11/23/09
to has...@haskell.org
[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
0 new messages