[TYPES/announce] 4 year PhD position in Innsbruck (application deadline: 27 May 2020)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Innsbruck invites applications for a 4 year PhD position in the Computational Logic research group. Candidates must hold a master degree in computer science or mathematics.

[TYPES/announce] Verification Mentoring Workshop 2020: Call for scholarship applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Verification Mentoring Workshop (VMW 2020) http://i-cav.org/2020/mentoring/ co-located with CAV 2020 20 July 2020 Los Angeles, California, USA APPLICATIONS FOR SCHOLARSHIPS We warmly

[TYPES/announce] Online seminars in functional programming @ Chalmers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The folks at Chalmers have just put together an online seminar series in Functional Programming—details here: http://chalmersfp.org . It’s open to the public, and

[TYPES/announce] Call for participation, LangSec 2020, May 21st, on Zoom

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation Sixth Workshop on Language-Theoretic Security (LangSec) Affiliated with 41st IEEE Symposium on Security and Privacy (Oakland) May 21st, 2020. On Zoom. LangSec was

[TYPES/announce] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (3rd CfP, Deadline Extension)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Please distribute, apologies for multiple postings. ] 2nd Workshop on Formal Methods for Blockchains (FMBC) 2020

[TYPES/announce] 3rd CfP: 13th Interaction and Concurrency Experience (ICE 2020)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR ORAL COMMUNICATIONS AND SHORT PAPERS ICE 2020 13th Interaction and Concurrency Experience 19