Map Invariants for Program Verification in PLV Reading Group this week

[Anthony Sloane]

PLEASE NOTE NEW LOCATION

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 formerly the BD Building).

https://plvmq.bitbucket.io/#readinggroup/

Our current topic is:

Map Invariants for Program Verification

On March 22 we will discuss the paper "The Map Equality Domain" by Dietsch et al [1].

Readings

[1] https://link.springer.com/chapter/10.1007/978-3-030-03592-1_17

Please contact us if you are unable to access the reading(s) via the links above.

We hope to see you there.

Tony, Matt, Dom and Franck