[TYPES/announce] Call for Papers: Embracing Global Computing 2015

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleague, This call is particularly relevant to researchers based in UK or CIS, but is open to all researchers. We encourage, non-incremental research where formal results, such as

[TYPES/announce] First CFP: CRV15 - 2nd Competition on Runtime Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CRV 2015 The 2nd International Competition on Runtime Verification, held with RV 2015, September 22 – 25, 2015 Vienna, Austria CRV-2015 is the 2nd International Competition on Runtime

[TYPES/announce] FIFTH WORKSHOP ON FORMAL TOPOLOGY, Stockholm, June 8-10, 2015

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FIFTH WORKSHOP ON FORMAL TOPOLOGY: Spreads and Choice Sequences June 8-10, 2015 Institut Mittag-Leffler

[TYPES/announce] First CfP: SAS 2015 (22nd Int. Static Analysis Symposium)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - SAS 2015 Static Analysis Symposium 2015