[TYPES/announce] FOPARA 2011: Last CFP and Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** * LAST CALL FOR PAPERS AND CALL FOR PARTICIPATION * * 2nd International Workshop

[TYPES/announce] Special Issue LMCS: Types for Proofs and Programs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple messages] Logical Methods in Computer Science Special issue "Types for Proofs and Programs" Call for Submissions (Deadline: May 2, 2011) This special issue is devote