CAV, Inc.

CAV is incorporated under the name
International Conference on Computer Aided Verification, Inc.
as a not-for-profit organization, pursuant to US tax code and the laws of the State of New York. Its federal tax number is
EIN: 13-4120196
and its address of record is

    INTL Conf on Computer Aided Verif Inc.
    c/o Bernstein & Drucker
    Attn: Irwin Zwilling
    Suite 2701
    450 7th Ave.
    New York, NY 10123-0073

Its Board of Directors consists of the Steering Committee. The officers of CAV, Inc. are drawn from its Board of Directors and rotate pursuant to a pro forma election held at an annual meeting, which takes place during the annual CAV conference.

Please send comments, updates, requests for links, etc. to the web master.