Invariant Synthesis in PL Reading Group this week

[Anthony Sloane]

The programming languages reading group at Macquarie University, Department of Computing meets on (most) Fridays from 4pm in 9WW357 (formerly E6A357).  All welcome.  The reading group home page is at:

https://wiki.mq.edu.au/display/plrg/PL+Reading+Group

Our current topic is:

Invariant Synthesis

On July 27 we will discuss we will discuss the paper "Invariant Synthesis for Combined Theories" by Beyer et al [1].

Readings

[1] https://link.springer.com/chapter/10.1007/978-3-540-69738-1_27

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