I saw from this post that the list of ACM Fellows for 2008 is out. People in the research community I belong to, and in particular the other members of the IFIP WG on Concurrency Theory, will very pleased to see that Martín Abadi is on that list. Martín is honoured for "contributions to computer security and verification of computer systems."
Martín Abadi will be one of the invited speakers for CONCUR 2009.
Congrats to Martín and to all the other ACM fellows for 2008.