[TYPES/announce] 3 RA positions and 2 PhD positions for Web Services, London, Uk

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] QUEEN MARY, UNIVERSITY OF LONDON SCHOOL OF ELECTRONIC ENGINEERING AND COMPUTER SCIENCE IMPERIAL COLLEGE LONDON DEPARTMENT OF COMPUTING Three Postdoctoral Research Associates Two PhD

[TYPES/announce] MLQA - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is a call for participation in the Kick-Off meeting of Models and Logics for Quantitative Analysis (MLQA). It takes place on Saturday 28’th of March 2009 in York and is part of ETAPS