[TYPES/announce] CFP: 9th International Summer School on Information Security and Protection

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ I hope the formal methods aspects of our programme, and of this field in general, make this of interest to the TYPES/announce readership - M ]

[TYPES/announce] [Call for participation] Workshop "Sound Static Analysis for Security"

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Following the success of the Frama-C & SPARK Day 2017 in Paris, it is our pleasure to announce the two-day workshop      *  Sound Static Analysis for Security * Invited speakers: - David

[TYPES/announce] ICTAC 2018 call for papers, extended deadlines

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] New deadlines: abstracts 18 May, papers 25 May. CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTA

[TYPES/announce] Open positions in crypto/security at ITU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, The newly established Center for Information Security Research (CISR) at IT University of Copenhagen (cisr.dk ), is seeking applications for one or more