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

[Gang (Gary) Tan]

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