[TYPES/announce] 21st International Symposium on Formal Methods (FM 2016): Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 http://fm2016.cs.ucy.ac.cy *** SECOND CALL FOR PAPERS *** IMPORTANT DATES • Abstract

[TYPES/announce] Visiting PhD Student

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Are you or do you know a PhD student looking for an exciting new research project to join this summer? You are in luck! I am looking for a visiting PhD student for summer 2016 to

[TYPES/announce] IWACO 2016 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 7th IWACO International Workshop on Aliasing, Capabilities and Ownership (IWACO) Co-located with ECOOP Monday July 18th, 2016, Rome, Italy

[TYPES/announce] 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE APPROACHING

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please circulate. Apologies for multiple copies] WoLLIC 2016 23rd Workshop on Logic, Language, Information and Computation August 16th-19th, 2016 Puebla, Mexico SCIENTIFIC SPONSORSHIP