[TYPES/announce] ECOOP 2009 call for Posters and Demos

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] *** CALL FOR Posters/Demos 23rd European Conference on

[TYPES/announce] Call for Papers: Relationships and Associations in Object-Oriented Languages (RAOOL'09)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] First Call for Papers 2nd workshop on Relationships and Associations in Object-Oriented Languages RAOOL'09 co-located with ECOOP'09 http://www.lst.inf.ethz.ch/raool09/ PURPOSE

[TYPES/announce] Last CfP (and Deadline Extension): Workshop SD09, Bordeaux, July 20-24, 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** LAST CALL FOR PAPERS International Workshop Structures and Deduction (SD09)

[TYPES/announce] Call for papers -- 11th Workshop on Formal Techniques for Java-like Programs, Genova, Italy

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Call for Contributions FTfJP 2009 11th Workshop on Formal Techniques for