[TYPES/announce] Open PhD positions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, the IT University of Copenhagen (ITU) invites applications for several PhD scholarships starting in September 2009 in the following areas: Algorithms for searching and

[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