[TYPES/announce] Post-doc position in Lyon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please find below a call for application for postdoc positions in Lyon (24months, possibly extendable to a third year). Applications of candidates from the Types community are welcome,

[TYPES/announce] Call for Workshops RDP 2013: RTA + TLCA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Workshops RDP 2013: RTA + TLCA June 23 to June 28, 2013, Eindhoven, The Netherlands RDP 2013 http://www.win.tue.nl/rdp2013/ is the seventh edition of the International