[TYPES/announce] ICTAC 2014 / Call for Participation, 16-19 Sept, Bucharest
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION -- ICTAC 2014 11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest, Romania
[TYPES/announce] RV 2014: 2nd Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION RV 2014: 14th International Conference on Runtime Verification September 22 - September 25,