Space Invader @ East London Massive

Wednesday, June 27, 2007


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