[TYPES/announce] PostDoc position at INRIA / ENS Paris, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** PostDoc Position in the Parkas team, ENS Paris, France *** We are seeking applicants for a post-doctoral position to join a group working on the broad area of concurrency and

[TYPES/announce] PLDI 2015: call for workshop and tutorial proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite proposals for workshops or tutorials to be co-located with PLDI 2015, which will be part of ACM FCRC 2015 in Portland, Oregon. More information about PLDI 2015 could be found at