[TYPES/announce] 2 PostDoc positions System Security and Formal Methods

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, KTH is hiring 2 PostDoc positions System Security and Formal Methods Application deadline: August 02, 2018, https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:218440

[TYPES/announce] International School on Rewriting, Paris, July 2019: Call for Lecture Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Lecture Proposals International School on Rewriting, Paris, 1-5 July 2019 http://cbr.uibk.ac.at/ifip-wg1.6/summerscho

[TYPES/announce] LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, Please, find below the last call for draft papers for presentation for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may recei