[TYPES/announce] FOCLASA 2018 - 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 16th International Workshop on Foundations of Coordination Languages and Self-adaptive systems (FOCLASA 2018) Toulouse, France / June 26, 2018 http://foclasa.lcc.uma.es/ PUBLICATIONS

[TYPES/announce] iFM 2081 Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PAPERS iFM 2018 14th International Conference on integrated Formal Me

[TYPES/announce] CICM 2018, final CfP, Abstract submission deadline April 15, 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers formal papers - informal papers - doctoral programme

[TYPES/announce] 11th Interaction and Concurrency Experience (ICE 2018): 2nd CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]   ICE 2018 11th Interaction and Concurrency Experience    June 20-21, 2018, Madrid, Spain  Satellite workshop of DisCoTec 2018 http://2018.discotec.org/cf

[TYPES/announce] PostDoc Position on Formally Secure Compilation at Inria Paris

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A Postdoctoral Researcher position is available on my secure compilation project at Inria Paris. The project is aimed at building the first formally secure compilation chains for realistic pr

[TYPES/announce] 9 PhD positions at Chalmers for web security and secure programing of IoT devices

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We are starting two big projects on security at Chalmers. Both of them leverage programming languages technology to solve security problems. Details below. Best, /Alejandro **