[TYPES/announce] 14th Estonian Winter School in Computer Science, Last Call for Partic

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Lecturers: Courtois, Dybjer, Gennaro, Goldberg, Müller-Olm. Place/time: Palmse, Estonia, 1-6 March 2009 Deadline for application and submission of student talk abstracts: ** 16 Jan 2009

[TYPES/announce] Call for Papers: NASSUE-2009 in conjunction with ISA 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Apologies if you receive multiple copies of this message --- Call for Papers === 2009 International Workshop on Network Assurance and Security Services in Ubiquitous