SAPLING meeting at Macquarie Uni on Nov 20

[Anthony Sloane]

Hi everyone,

The Programming Languages and Verification research group at Macquarie Uni is hosting the Sydney Area Programming Languages Interest Group (SAPLING) workshop at Macquarie on November 20. 

We have an interesting full-day program of talks including quite a few on security aspects and program verification/checking.

The details of the meeting including the program and talk abstracts are available at the meeting page:

https://wiki.mq.edu.au/display/plrg/SAPLING17

regards,

Tony