[TYPES/announce] Luca Cardelli Fest, September 8-9, MSR Cambridge

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear TYPES, We are holding an event to honour Luca Cardelli on Monday-Tuesday September 8-9, 2014, at Microsoft Research Cambridge. http://research.microsoft.com/lucacardellifest We have

[TYPES/announce] MSR PhD Scholarship, deadline Nov 1: Machine Learning and Natural Language Processing for Types in "Big Code"

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] > > > PhD studentship: Microsoft Research PhD Scholarship: >Machine Learning and Natural Language Processing for

[TYPES/announce] PPS 2018: Workshop on Probabilistic Programming Languages, Semantics, and Systems 2018

-chairs From: Cameron Freer [mailto:cameronfr...@gmail.com] Sent: 22 September 2017 12:12 To: types-announce@lists.seas.upenn.edu Cc: Andy Gordon (RESEARCH) <a...@microsoft.com> Subject: PPS 2018: Workshop on Probabilistic Programming Languages, Semantics, and Systems 2018 Wo

[TYPES/announce] Postdoc positions in spreadsheet research at MSR Cambridge, deadline December 1

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Calc Intelligence team https://aka.ms/CalcIntel at MSR Cambridge is hiring postdocs to bring intelligence to end-user programming, and in particular to spreadsheets. We work in deep

[TYPES/announce] Reminder: Postdoc positions in spreadsheet research at MSR Cambridge, deadline December 1

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Reminder: the deadline for these positions is December 1 https://aka.ms/CalcIntel -Original Message- From: Types-announce On Behalf Of Andy Gordon (RESEARCH) Sent: 22 October