[TYPES/announce] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014

2014-04-26 Thread S B Cooper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** The Turing Centenary Research Project MIND, MECHANISM AND MATHEMATICS 2nd Wor

[TYPES/announce] Postdoctoral position in probabilistic programming languages

2014-04-26 Thread Norman Ramsey
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoctoral position in probabilistic programming languages There is a postdoc open at Tufts University, supported by the projec