[TYPES/announce] Postdoc Position at IMDEA in Security/Privacy/Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will join the group of Boris Köpf to work on topics

[TYPES/announce] CSF 2016 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CSF 2016 Call for Papers 29th IEEE Computer Security Foundations Symposium http://csf2016.tecnico.ulisboa.pt/ June 28-July 1, 2016 Lisbon, Portugal The Computer Security Foundations

[TYPES/announce] FCS 2015: Call for Participation

) Marco Gaboardi (University of Dundee, UK) Deepak Garg (Max Planck Institute for Software Systems, Germany, co-chair) William Harris (Georgia Institute of Technology, USA) Aniket Kate (Saarland University, Germany) Boris Köpf (IMDEA Software Institute, Spain, co-chair) Steve Kremer (INRIA Nancy

[TYPES/announce] FCS-FCC 2014: Deadline extended to April 25

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = DEADLINE EXTENSION (April 25) = Joint Workshop on Foundations of Computer Security and on Formal and Computational Cryptography (FCS-FCC

[TYPES/announce] FCS-FCC 2014: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PAPERS Joint Workshop on Foundations of Computer Security and on Formal and Computational Cryptography (FCS-FCC 2014) 18 July 2014, Vienna,