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
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.