[TYPES/announce] Post-doctoral research position at Nancy University on ICC

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Post-doctoral position at Nancy University, INRIA-LORIA, France on Implicit computational complexity (ICC) Applications are now invited for a postdoctoral position on ICC. Candidates are

[TYPES/announce] CFP: International Symposium on Engineering Secure Software and Systems (ESSoS) -- deadline approaching!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Online submission for papers is now available through EasyChair, at http://www.easychair.org/conferences/?conf=essos12 Abstracts should be submitted before September 18th, and papers before

[TYPES/announce] CFP: PLPV'12 - Programming languages meets program verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]   PLPV 2012      The Sixth ACM SIGPLAN Workshop Programming Languages meets Program Verification 24th January, 2012 Philadelphia,