Re: [TYPES/announce] New moderator: Derek Dreyer

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Excellent -- thanks very much, Derek, for stepping up! We also owe a huge round of thanks to Stephanie for her excellent management of the list for six years!!! - Benjamin

[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] FroCoS'09 Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE