[TYPES/announce] 1st CFP: 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS 3rd Etaps Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014) 5 April 2014, Grenoble (France) co-located with ETAPS

[TYPES/announce] CFP for MSFP 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fifth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 12 April 2014, in Grenoble, France. A satellite workshop of ETAPS 2014 http://www.cs.bham.ac.uk/~pbl/msfp2014/ The fifth

[TYPES/announce] Call for Papers - F-IDE 2014 - ETAPS Workshop - April 6th, 2014, Grenoble, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please apologies for multiple copies.] Call for Papers - F-IDE 2014 - April 6th, 2014, Grenoble, France Call for Papers First International Workshop on Formal Integrated Development Envir

[TYPES/announce] 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.] First Call for Papers Special issue of the JOURNAL OF SYMBOLIC COMPUTATION on SYMBOLIC COMPUTATION

[TYPES/announce] DICE 2014: Call for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DICE 2014 Fifth Workshop on Developments in Implicit Computational Complexity ht