[TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please post - apologies for multiple copies.] Second Call for Papers Special issue of the JOURNAL OF SYMBOLIC COMPUTATION on SYMBOLIC COMPUTATIO
[TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science
[ 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 i