[TYPES/announce] ECOOP 2016 - Workshops - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ECOOP 2016 will host an exciting array of 11 workshops on a variety of topics in computing: - COP 8th International Workshop on Context-Oriented Programming

[TYPES/announce] CfP: Workshop ARCH collocated with CPSWeek 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION ARCH 2016 === 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems CPSWeek 2016, Vienna, Austria, April 11, 2016

[TYPES/announce] First call for papers: PSSV-2016.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 7th Workshop "Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2016, http://logic.pdmi.ras.ru/csr2016/pssv16) will be held in affiliation with

[TYPES/announce] PLDI'16 Call for Student Volunteers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *PLDI'16 Call for Student Volunteers* PLDI is pleased to offer a number of opportunities for student volunteers, who are vital to the efficient operation and continued success of the

[TYPES/announce] CFP: 8th International Workshop on Higher-Order Rewriting

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS HOR 2016 8th International Workshop on Higher-Order Rewriting June 25, 2016 Porto, Portugal Affiliated with FSCD 2016 HOR is a forum to present work concerning all

[TYPES/announce] FSCD'16 Satellite Events and Upcoming Deadlines

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FSCD 2016: SATELLITE EVENTS AND UPCOMING DEADLINES First International Conference on Formal Structures for Computation and Deduction (FSCD'16) 22 June -- 26 June 2016, Porto, Portugal

[TYPES/announce] 2nd International Summer School on Behavioural Types: Final Call

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Funding available for students and early-career researchers from Europe. *** Application deadline: 8th April. --

[TYPES/announce] 2nd call for papers: CMSB 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies.] = CALL FOR SUBMISSIONS