[TYPES/announce] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014
[ 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
[ 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