On the subject of awards, I yesterday saw the call for nominations for the first CAV award. I have at least one person that I'd really like to nominate, but since I would prefer that person to be in cool Reykjavík for ICALP 2008 instead of sultry Princeton for CAV 2008, I guess I'll have to wait for one year before sending in my nomination :-) Who would you nominate for such an award? Note that
The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards.Unfortunately, the CAV organizers decided to fix the dates for their conference so that they coincide with the dates for ICALP 2008, which were known long before theirs. Time will tell whether this was an inspired decision on their part.