[TYPES/announce] Deadline Extension: JSC Special Issue on Symbolic Computation in Software Science

[Temur Kutsia]

Deadline extension

----------------------------------------
Special issue of the

JOURNAL OF SYMBOLIC COMPUTATION

on

SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
----------------------------------------
http://www.risc.jku.at/~tkutsia/organization/jsc-scss-2016.html

Paper submission (extended deadline): August 1, 2016