[TYPES/announce] Types 2011 in Bergen 8 - 11 Sept. Submission deadline June 3.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Types Meeting 2011 Bergen, 8 - 11 September 2011 www.types.name The 18-th Workshop "Types for Proofs and Programs" will take pl

[TYPES/announce] Privacy, Security, Trust (PST 2011) - Call for Papers (EXTENDED Deadline: April 3, 2011)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Apologies if you receive multiple copies of this announcement. Please pass it on to your colleagues and students who might be interested in contributing. ] NOTICE: due to several recei