[TYPES/announce] FSCD 2019 - First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies of this announcement. Please circulate.) CALL FOR PAPERS Fourth International Conference on Formal

[TYPES/announce] Postdoc position on side-channel analysis and avoidance in Hardware (Chalmers University of Technology)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Postdoctoral position (up to two years) on side-channel analysis and avoidance in Hardware at Chalmers

[TYPES/announce] Call for papers: Second Symposium on Compositional Structures (SYCO 2)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 2) University of Strathclyde, Glasgow 17-18 December, 2018 http://events.cs.bham.ac.uk/syco/2/ The Symposium on Compositional

[TYPES/announce] FM'19: Call for Workshop & Tutorial Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt CALL FOR