[TYPES/announce] University of Oslo: PhD Position in Formal Methods.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Formal Methods group at the Department of Informatics, University of Oslo, has available 1 PhD position. * The starting date of the employment should be no later than October 1,

[TYPES/announce] PASTE 2010 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * *** PASTE 2010 CALL FOR PARTICIPATION *** *** (co-located with PLDI 2010) ***