Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: <demis <at> dimi.uniud.it>
Subject: Deadline Extension: JSC Special Issue on Automated Specification and Verification of Web Systems
Newsgroups: gmane.comp.lang.haskell.general
Date: Monday 23rd November 2009 11:49:47 UTC (over 7 years ago)
[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
 
CD: 2ms