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