[TYPES/announce] 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
     ==========================================================

DEADLINE EXTENSION
------------------
     Due to numerous requests, the submission deadline is extended
     to 30 March 2009.

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