[TYPES/announce] WFLP2010: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call For Participation WFLP2010 19th International

[TYPES/announce] Call for Participation -- Quantitative Model Checking PhD School

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION Quantitative Model Checking PhD School QMC 2010 March 2-5, 2010

[TYPES/announce] [STACS] First Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * 27th International Symposium on Theoretical Aspects of Computer Science STACS 2010 - C