[TYPES/announce] ETAPS 2011: First Call for Papers

2010-08-06 Thread Joost-Pieter Katoen
[ 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

2010-08-06 Thread Stephan Merz
[ 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