[TYPES/announce] UNIF 2014: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation UNIF 2014 The 28th International Workshop on Unification July 13,

[TYPES/announce] 2nd CfP: SCSS 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SCSS 2014 Symbolic Computation in Software Science 6th International Symposium Second Call for Papers Gammarth, La Marsa, Tunisia, December 7-11, 2014