[TYPES/announce] Lectureship in formal modelling and analysis at University of Glasgow

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] As part of the Scottish Informatics and Computer Science Alliance (SICSA) initiative, there are three vacancies for lecturers in the Department of Computing Science, University of

[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) *