[TYPES/announce] Legacy of Reuben Goodstein, Friday 14th December, 2012

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ___ THE LEGACY OF REUBEN GOODSTEIN His Centennial and the Wittgenstein Connection

[TYPES/announce] EAPLS PhD Award 2012: Call for Nominations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] EAPLS PhD Award 2012: Call for Nominations == URL: http://eapls.org/pages/phd_award/ The European Association for Programming Languages and Systems

[TYPES/announce] Postdoc position at UIUC in programming languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Disclaimer: This message does NOT include the word types in it, as requested on the types list webpage, but the successful candidate will also need to define a static semantics of C/LLVM.