Mission
Organizing and presenting annual Conference on Computer-Aided Verification.
Small Public Charity
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC is a Small Public Charity headquartered in Austin, TX. Financial data from the 2025 filing: $150K revenue, $51K expenses, $329K total assets.
EIN: 134120196
Austin, TX
Engineering & Technology
NTEE: U40
Latest filing: 2025
Total Revenue$150K
Total Expenses$51K
Total Assets$329K
Grant Records0
Filing Years2021–2025
Where $100 goes at International Conference on Computer Aided Verification Inc
How International Conference on Computer Aided Verification Inc divides every $100 it spends, from its own Form 990-EZ filings, averaged across 5 years.
$98
Programs
the work itself
$2
Everything else
operations and overhead
Form 990-EZ reports program spending but doesn't separate management from fundraising, so those are shown together.
Inside the $98 for programs
$80
Organized and CAV conference
$18
Annual CAV award
Source: Form 990-EZ filings with the IRS, latest fiscal year 2025. Shares are from the organization's reported expenses. Data by Imperigo; not affiliated with the IRS.
Officers & Directors
President
Aarti Gupta
Vice President
Daniel Kroening
Secretary
Kenneth Mcmillan
Vice President
Orna Grumberg
Officer compensation and complete director data available with membership.
Financial Trends
| Year | Revenue | Expenses | Assets |
|---|---|---|---|
| 2025 | $150K | $51K | $329K |
| 2024 | $196K | $137K | $230K |
| 2023 | $30K | $61K | $171K |
| 2022 | $1K | $25K | $202K |
| 2021 | $119K | $127K | $251K |
Between 2021 and 2025, reported annual revenue grew from $119K to $150K (+26%), with total assets most recently reported at $329K.
Interactive year-over-year charts and full filing details available with membership.