# INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC

EIN: 13-4120196
Subsection: Public charity / private foundation
NTEE: U40 (Science & Technology Research, Non-Medical)
Org type: Corporation
Ruling date: 2001-01-01
Deductibility: Contributions are deductible

Address: 1117 W 7TH ST, AUSTIN, TX, 78703-5305

## Financial summary (most recent IRS data)

- Total revenue: $196,313
- Total assets: $230,408
- Total income: $196,313

## Source

- IRS Form 990 + BMF lookup: https://apps.irs.gov/app/eos/displayAll.do?dispatchMethod=displayAllInfo&ein1=134120196
- ProPublica Nonprofit Explorer: https://projects.propublica.org/nonprofits/organizations/134120196