Corrado in Crete, at the ceremony where he was granted The award of the European Association for Theoretical Computer Science.

The EATCS Award is awarded in recognition of a distinguished career in theoretical computer science  (2002)