[ 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
[ 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
[ 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