[TYPES/announce] Ph.D and Postdoc Positions available in Durham, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * A 3.5year Ph.D Position and a Postdoc Position * available in the area of Program Analysis and Verification * funded by

[TYPES/announce] TASE 2009 - CALL FOR POSTER PRESENTATIONS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2009 - CALL FOR POSTER PRESENTATIONS ** * 3rd IEEE International Symposium on * Theoretical Aspects of Software Engineering * (TASE 2009) *

[TYPES/announce] TASE 2009 - CALL FOR PAPERS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2009 - Final CALL FOR PAPERS ** * 3rd IEEE International Symposium on * Theoretical Aspects of Software Engineering * (TASE 2009) * 29-31 July