SeparationFest

John Reynolds is receiving an honorary degree from Queen Mary on 17 July for his signal contributions to programming languages.
The day after, John's celebration will continue with SeparationFest, a one-day workshop on Separation Logic (again at Queen Mary).
Tony Hoare will give a keynote talk on Separation Logic and Declarative Semantics.

SeparationFeest is open to everybody. Don't miss it! Come and join us...