[TYPES/announce] ETAPS 2011: First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies.] FIRST CALL FOR PAPERS: ETAPS 2011 European Joint Conferences on
[TYPES/announce] CFPart : iFM 2010
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 8th International Conference on Integrated Formal Methods (iFM 2010) October 11-14, 2010, Nancy, France Early registration deadline: September 15, 2010