[TYPES/announce] 2nd 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] 1st Intl. Competition of Software for Runtime Verification: call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologizes for duplicates] *1st Intl. Competition of Software for Runtime Verification (CSRV-2014)* *held with RV 2014 in Toronto, Canada*

[TYPES/announce] Call for Participation: Principles in Practice 2014 (co-located with POPL)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PiP 2014: Principles in Practice Co-located with POPL 2014 Saturday 25 January, 2014. San Diego, California, USA http://www.cl.cam.ac.uk/~pes20/pip2014.html Recent years have seen a number