[TYPES/announce] New conference - Certified Programs and Proofs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Certified Programs and Proofs (CPP) is a new international conference dedicated to the development of certified software and proofs. The conference is intended to be a

[TYPES/announce] CPP 2011 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The First International Conference on Certified Programs and Proofs (CPP 2011) CALL FOR PAPERS Kenting, Taiwan

[TYPES/announce] Final CFP - CPP 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The First International Conference on Certified Programs and Proofs (CPP 2011) FINAL CALL FOR PAPERS Kenting, Taiwan

[TYPES/announce] Call for Papers: APLAS+CPP (new deadlines)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, To accommodate recent requests, we are extending the submission deadlines of APLAS 2011 (Ninth Asian Symposium on Programming Languages and Systems) and CPP 2011

[TYPES/announce] Call for Participation: APLAS+CPP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION APLAS+CPP Kenting, Taiwan December 4 to 9, 2011 APLAS aims at stimulating