[TYPES/announce] SSV 2015 - Deadline Extended to Oct 5th

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SSV 2015 Final Call for Papers -- Deadline Extended http://www.ssv-conference.org/ 9th Conference on Systems

[TYPES/announce] Two postdoctoral positions @ CMU and ITU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you have received multiple copies of this announcement] === Two Postdoctoral Positions