[TYPES/announce] ECOOP 2009 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ECOOP'2009 23rd European Conference on Object Oriented Programming July 6th - 10th 2009, Genova, Italy http://2009.ecoop.org

[TYPES/announce] Call for contributions: FLACOS'09

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR CONTRIBUTIONS *Third Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09)* 24-25 September 2009, Toledo - Spain http://www.ifi.uio.no/flacos09

[TYPES/announce] FOPARA'09 -- First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Our apologies for possible multiple copies) First Call for Papers International workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS FOPARA 2009 Eindhoven, T

[TYPES/announce] SAVCBS 2009 Final Call For Papers -- 8th Workshop on Specification and Verification of Component-based Systems (co-located with ESEC/FSE 2009)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please excuse for multiple posts] Call for Papers SAVCBS'09 Workshop at ESEC/FSE 2009, August 25, 2009 http://www.

[TYPES/announce] Student grants available: Global Computing Tutorial Series

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] with DisCoTec 09, Lisbon, 9-11 June. A Global Computing Tutorial Series promoted by the Sensoria and Mobius European projects will be held together with DisCoTec'09 (9-11 June) in Lisbon.