Secure Programming Languages in PLV Reading Group this week
2 views
Skip to first unread message
Anthony Sloane
Jul 21, 2019, 6:20:44 PM7/21/19
to FSE Computing Academic Staff, FSE Computing Postgraduate, sci.plrg-reading-Google-Group
The Programming Languages and Verification Reading Group at Macquarie University, Department of Computing meets on (many) Fridays
from 4-6pm in the Jan Hext Seminar Room (room 221, 4 Research Park Drive).
plvmq.bitbucket.io/#readinggroup/
Our current topic is:
[1] http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=10546
cheers,
Tony
plvmq.bitbucket.io/#readinggroup/
Our current topic is:
Secure Programming Languages
On July 26 we will discuss the paper "What is a Secure Programming Language?" by Cristina Cifuentes and Gavin Bierman from SNAPL 2019 [1].
[1] http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=10546
cheers,
Tony
Reply all
Reply to author
Forward
0 new messages