[TYPES/announce] Call For Papers: APLAS (Korea, Dec 14-16, 2009)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === FIRST CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and

[TYPES/announce] announcement: ISDT2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Sir or Madam, The URL of ISDT2009 is modified to: http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/ It is accessible now. Best wishes, Jie Zhou jiez...@sei.ecnu.edu.cn

[TYPES/announce] Last call for papers: Modules and Libraries for Proof Assistants (CADE workshop)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] First International Workshop on Modules and Libraries for Proof Assistants (MLPA'09)