Space Invader @ East London Massive

Friday, September 28, 2007

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

Wednesday, September 12, 2007

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