[TYPES/announce] WadlerFest, 11--12 April 2016, Edinburgh

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Our colleague, friend, tormentor and educator, Professor Philip Wadler will turn sixty at the beginning of April, 2016. Phil will be presented with a festschrift entitled "A list of

[TYPES/announce] Two Lectureship posts in the Department of Computing at Imperial

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all We are hiring for two Lectureships (equivalent to US Assistant Professor) in the Department of Computing. We would be particularly interested in applicants in Programming