[TYPES/announce] Announcing the Pittsposium -- August 22-23 -- Cambridge, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We are delighted to announce an event in Cambridge, UK on August 22-23 to celebrate Andy Pitts' distinguished career: -

[TYPES/announce] IFL23 last Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Important Dates Draft Paper Submission Deadline 31st July, 2023 Notification of Acceptance for Presentation 1st August, 2023 Early Registration Deadline 11th August, 2023 Late Registration

[TYPES/announce] Research Fellow in Quantum Tech and NLP in UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, UCL's Department of Computer Science is looking for a 2-year research assistant/fellow in Natural Language Processing with Quantum Technology. For details and how to