[TYPES/announce] Last CfP: JSC Special Issue on Symbolic Computation in Software Science

[Temur Kutsia]

[Apologies for multiple copies]

     ==========================================================
                   JOURNAL OF SYMBOLIC COMPUTATION
      Special Issue on Symbolic Computation in Software Science
     ==========================================================

IMPORTANT DATES
---------------
     * Submission of papers: March 23, 2009.
     * Notification of acceptance/rejection: July 27, 2009.
     * Final version: September 14, 2009.

WEB PAGE
--------
     http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-scss.html