[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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
