[TYPES/announce] Call for Papers: IWACO 2016

[ 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 Reasoning about shared state in imperative

[TYPES/announce] Last CfP: VORTEX @ ECOOP 2016 - 1st Workshop on Runtime Verification for Object-Oriented Languages, and Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** LAST CALL FOR PAPERS VORTEX 2016 - Verification of Objects at RunTime EXecution

[TYPES/announce] ECOOP 2016 - Call For Participation - Students

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ECOOP@ROME / Students Interested in hearing the latest about Scala, Perl, Clojure, Rust, Swift, JavaScript, and many many other languages and systems? Curious about new ideas such as

[TYPES/announce] JTRES 2016 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS The 14th Workshop on Java Technologies for

[TYPES/announce] CFP Synasc 2016 -- FIRM extended deadline

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Second Call for Papers -- SYNASC 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific