[TYPES/announce] FMCAD 2017 (Call for participation: early registration ends Sept 2)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FMCAD 2017: CALL FOR PARTICIPATION International Conference on Formal Methods in Computer-Aided Design (FMCAD) TU Wien, Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17

[TYPES/announce] JLAMP Special Issue on Open Problems in Concurrency Theory

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Journal of Logical and Algebraic Methods in Programming Special Issue on Open Problems in Concurrency Theory ** Aims and Scope This special issue of the Journal of Logical and Algebraic

[TYPES/announce] Assistant Professor (RTD-A) at IMT Lucca

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SPECIFICATION, ANALYSIS AND VERIFICATION OF CONCURRENT DISTRIBUTED SYSTEMS IMT School for Advanced Studies Lucca invites applications for one fixed-term Assistant Professor position

[TYPES/announce] APLAS 2017 -- Call for Posters

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** * APLAS 2017 --- Call for Posters *

[TYPES/announce] ThEdu'17 Post-Proceedings: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) Call for Papers - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Post-Proceedings