[TYPES/announce] CFPs: IEEE SpaIoT 2015 at Helsinki, Finland, China [Deadline: 31 March, 2015]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers for the 8th IEEE International Symposium on Security, Privacy and Anonymity in Internet of Things (SpaIoT 2015) Helsinki, Finland, 20-22 August, 2015

[TYPES/announce] FORTE 2015: last Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS FORTE 2015 A DisCoTec http://www.discotec.org Member

[TYPES/announce] Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann, Oslo, May 21-22, 2015

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ANNOUNCEMENT: = Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag

[TYPES/announce] PCC 2015 - Proof, Computation, and Complexity in Oslo

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ANNOUNCEMENT: = PCC 2015 Proof, Computation and Complexity Fourteenth International Workshop May

[TYPES/announce] Developments in Implicit Computational complExity - DICE 2015 - Final call for paper

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS DICE 2015 Sixth workshop on Developments in Implicit Computational complExity 12 April 2015, London, UK Affiliated to ETAPS http://dice15.computing.dundee.ac.uk DICE is a

[TYPES/announce] CFP: WWV 2015, 11th Workshop on Automated Specification and Verification of Web Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * * * * WWV 2015 *