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...

New funding for Space Invader

EPSRC and Royal Academy of Engineering have decided to sponsor further development of Space Invader!
Hongseok has been awarded the Advanced Fellowship from EPSRC and Dino has been awarded the Royal Academy of Engineering Research Fellowship!

New exciting time is coming for Space Invader!