[ 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 founded to bring together researchers who were interested in the language-theoretic approach to software security (LangSec). We are glad to announce the program of LangSec 2020, featuring two keynotes by David Walker from Princeton University and Jeremy Yallop from University of Cambridge. The full program also includes two invited talks and a number of technical talks, with detailed information at the following website: http://spw20.langsec.org/workshop-program.html Registration fee for general attendance (including the full IEEE S&P conference and all workshops) is only $25: http://spw20.langsec.org/registration-info.html -- Gang (Gary) Tan Associate Professor Penn State CSE and ICS W358 Westgate Building http://www.cse.psu.edu/~gxt29 Tel:814-8657364