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