[TYPES/announce] Ph.D. position in computer science at DIKU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science, University of Copenhagen, Denmark (DIKU) invites applications for a PhD scholarship starting September/October 2012. The scholarship is internally

[TYPES/announce] Call for papers: Workshop on Rigorous Protocol Engineering (WRiPE)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 2nd International Workshop on Rigorous Protocol Engineering http://www.cs.cornell.edu/conferences/wripe2012