[TYPES/announce] CFP VerifyThis Long-Term Challenge (VTLTC 2020)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Presentations VerifyThis Long-Term Challenge 2020 - Concluding Event -

[TYPES/announce] HotSpot: Hot Topics in the Principles of Security and Trust

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ type-oriented theories have played a big role in the principles of security and trust in the past, and we welcome work in this area to HotSpot! --Joshua ] HotSpot, which we intend

[TYPES/announce] Call For Participation to TYPES-ITRS 2020: early registration expires on 16th February

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 26th INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS 2020 - 2-5 MARCH 10th WORKSHOP ON INTERSECTION TYPES AND

[TYPES/announce] Postdoc position: verified timing-channel security for seL4

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position: verified timing-channel security for seL4 http://jobs.unimelb.edu.au/caw/en/job/900474/research-fellow-in-verified-operating-system-security Applications close: February