[TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science

2016-06-13 Thread Temur Kutsia
[ 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

[TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science

2009-01-09 Thread Temur Kutsia
[ 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