[TYPES/announce] OCaml 2014 - Last Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == OCAML 2014 The OCaml Users and Developers Workshop

[TYPES/announce] FTfJP'14: Call for Papers [EXTENDED DEADLINE]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** NOTE DEADLINES EXTENDED *** Abstract submissions: May 12th, 2014 Paper submissions: May 19th, 2014 === 16th

[TYPES/announce] APLAS 2014: Last CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/

[TYPES/announce] New moderator: Dimitrios Vytiniotis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Types and Types/announce members, It has been my pleasure to serve as moderator of the Types and Types/announce lists for 5 years now, but it's time to hand over the reins to someone

[TYPES/announce] OCL 2014: First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) CALL FOR PAPERS 14th International Workshop on OCL and Textual Modeling Applications and Case Studies (OCL