[TYPES/announce] CFP - Types for Proofs and Programs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Logical Methods in Computer Science Special issue Types for Proofs and Programs Call for Submissions (Deadline:

[TYPES/announce] Workshop Announcement: Domains X

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] W o r k s h o pA n n o u n c e m e n t D O M A I N S X http://www.cs.swan.ac.uk/domains2011/ Swansea University, Wales, UK, 5-7