[TYPES/announce] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] P R E L I M I N A R Y A N N O U N C E M E N T COMPUTABILITY IN EUROPE 2014: Language, Life, Limits

[TYPES/announce] FICS 2013 - call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation FICS 2013 September 1st, 2013, Torino, Italy Satellite workshop to CSL 2013

[TYPES/announce] FroCoS 2013 Last Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] LAST CALL FOR PARTICIPATION FroCoS 2013 9th International Symposium on Frontiers of Combining Systems

[TYPES/announce] QCRI/MIT Cybersecurity Postdoctoral Researcher

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Qatar Computing Research Institute (QCRI) is seeking candidates for postdoctoral research in the area of cybersecurity. The research conducted by the cybersecurity team at QCRI focuses on