CAV Award

This year's CAV Award will be presented on Sunday, July 18, 2010, at 10:00, in Appleton Tower, Room LT4

An annual award, called the CAV Award, has been established

For a specific fundamental contribution or a series of outstanding contributions to the field of Computer Aided Verification.
The award of $10,000 will be granted to an individual or a group of individuals chosen by the Award Committee from a list of nominations. The Award Committee may choose to make no award. The CAV Award shall be presented in an award ceremony at CAV and a citation will be published in a Journal of Record (currently, Formal Methods in System Design).

Call for Nominations for the CAV Award
Anyone can submit a nomination. The Award Committee can originate a nomination. Anyone, with the exception of members of the Award Committee, is eligible to receive the Award.
A nomination must state clearly the contribution(s), explain why the contribution is fundamental or the series of contributions is outstanding, and be accompanied by supporting letters and other evidence of worthiness. Nominations should include a proposed citation (up to 25 words), a succinct (100-250 words) description of the contribution(s), and a detailed statement to justify the nomination.
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. (The nominee may have received such an award for other contributions.)

The 2010 CAV Award Committee consists of Orna Grumberg (chair), Moshe Vardi, Joseph Sifakis, and Rajeev Alur. For the CAV Award in 2010, please send nominations to the CAV Award Committee Chair:

Orna Grumberg : orna (at) cs.technion.ac.il

Nominations must be received by January 15, 2010.