[ 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
==========================================================
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
