[TYPES/announce] ICTAC 2014 / Call for Participation, 16-19 Sept, Bucharest

2014-08-21 Thread Gabriel Ciobanu
[ 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

2014-08-21 Thread Runtime Verification
[ 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,