Space invading Sicily

For few days the East London Massive and friends have been exploring the buzzing streets of Catania (east coast of Sicily). Lots of fish, wine and sun helped us with our brainstorming about new directions in separation logic, space invader, small foot, semantics,...

Invited talks

After giving an invited talk on new advances in concurrent separation logic at Concur 2007 in Lisbon (Portugal), Peter is going to give a Space Invader/Smallfoot related invited talk at The 2007 International Symposium on Memory Management, in Montrel (Canada).