Nonprofit · EIN 13-4120196
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC
Tax-exempt · AUSTIN, TX 78703
Financials
| Year ended | Form | Revenue | Expenses | Net income | Total assets | Liabilities | Net assets |
|---|---|---|---|---|---|---|---|
| December 31, 2025 | 990-EZ | $149,767 | $50,690 | $99,077 | $329,485 | – | $329,485 |
| December 31, 2024 | 990-EZ | $196,313 | $136,951 | $59,362 | $230,408 | – | $230,408 |
| December 31, 2023 | 990-EZ | $29,663 | $61,009 | -$31,346 | $171,046 | – | $171,046 |
| December 31, 2022 | 990-EZ | $1,352 | $25,258 | -$23,906 | $202,392 | – | $202,392 |
Financial details: 990-EZ for the year ended December 31, 2025
Revenue
- Contributions, gifts and grants
- $32,917
- Program service revenue
- $105,826
- Investment income
- $11,024
Expenses
- Grants and similar amounts paid
- $8,959
- Compensation of officers, directors and key employees
- $0
- Professional fees and payments to contractors
- $40,254
- Other expenses
- $1,477
- Program services (functional)
- $49,213
Balance sheet and other
- Total assets, start of year
- $230,408
- Total assets, end of year
- $329,485
- Total liabilities, end of year
- –
- Net assets, end of year
- $329,485
- Cash, savings and investments
- $329,485
- Gross receipts
- $149,767
From the e-filed returns the IRS publishes as XML (latest three processing years; amended returns replace the original). PDF copies at the IRS.
Officers, directors and key employees
As listed on the 990-EZ for the year ended December 31, 2025, highest compensation first.
| Name | Title | Hours / week | Compensation |
|---|---|---|---|
| Kenneth McMillan | Secretary | 0 | $0 |
| Aarti Gupta | President | 0 | $0 |
| Orna Grumberg | Vice President | 0 | $0 |
| Daniel Kroening | Vice President | 0 | $0 |
990-EZ for the year ended December 31, 2024: 4 people
| Name | Title | Hours / week | Compensation |
|---|---|---|---|
| Aarti Gupta | President | 0 | $0 |
| Kenneth McMillan | Secretary | 0 | $0 |
| Orna Grumberg | Vice President | 0 | $0 |
| Daniel Kroening | Vice President | 0 | $0 |
990-EZ for the year ended December 31, 2023: 4 people
| Name | Title | Hours / week | Compensation |
|---|---|---|---|
| Daniel Kroening | Secretary | 0 | $0 |
| Aarti Gupta | President | 0 | $0 |
| Orna Grumberg | Vice President | 0 | $0 |
| Kenneth McMillan | President | 0 | $0 |
990-EZ for the year ended December 31, 2022: 4 people
| Name | Title | Hours / week | Compensation |
|---|---|---|---|
| Kenneth McMillan | Treasurer | 0 | $0 |
| Daniel Kroening | Secretary | 0 | $0 |
| Aarti Gupta | President | 0 | $0 |
| Orna Grumberg | Vice President | 0 | $0 |
Address and contacts
- Address (IRS master file)
- 1117 W 7TH ST, AUSTIN, TX 78703-5305
- In care of
- % KENNETH MCMILLAN
- Mailing address (990-N for 2015)
- 1050 151st Ave SE, Bellevue WA 98007
- Principal officer (990-N for 2015)
- Kenneth McMillan, 1050 151st Ave SE, Bellevue WA 98007
- Signed the 990-EZ
- Kenneth McMillan, Secretary
- Phone
- (425) 638-3772
Mission
Organizing and presenting annual Conference on Computer-Aided Verification.
Program accomplishments
- Annual CAV awardExpenses $8,959
- Organized and CAV conferenceExpenses $40,254
What it must file and when
IRS records say it files Form 990 or 990-EZ. Based on its last return; a smaller organization may file the 990-N. Its accounting year ends in December, so each return is due on the 15th day of the 5th month after that.
| Tax year | Year ended | Due | IRS public records |
|---|---|---|---|
| 2025 | December 31, 2025 | May 15, 2026 | 990-EZ on file |
| 2024 | December 31, 2024 | May 15, 2025 | 990-EZ on file |
| 2023 | December 31, 2023 | May 15, 2024 | 990-EZ on file |
IRS record
- EIN
- 13-4120196
- Tax-exempt status
- 501(c)(3): Charitable, religious, educational or scientific organization
- Foundation status
- Publicly supported organization (170(b)(1)(A)(vi))
- Donations deductible (Pub 78)
- Public charity, 50% deduction limit
- Exempt since
- 2001
- Accounting year ends
- December
- Files
- Form 990 or 990-EZ
- Category (NTEE)
- Science and technology (U40)
- Assets (IRS master file)
- $329,485
- Income (IRS master file)
- $149,767
Filing history
| Form | Year ended | Revenue | Expenses | Assets | Return |
|---|---|---|---|---|---|
| 990-EZ | December 2025 | $149,767 | $50,690 | $329,485 | IRS |
| 990-EZ | December 2024 | $196,313 | $136,951 | $230,408 | IRS |
| 990-EZ | December 2023 | $29,663 | $61,009 | $171,046 | XML |
| 990-EZ | December 2022 | $1,352 | $25,258 | $202,392 | XML |
| 990-EZ | December 2021 | – | – | – | IRS |
| 990-N for 2015 Officer: Kenneth McMillan | December 31, 2015 | ≤ $50,000 receipts | – | – | e-Postcard |
990-N: the IRS bulk file holds only the latest e-Postcard per organization; earlier years come from archived copies of that file since 2020 and can have gaps (the IRS e-Postcard search lists every one). 990, 990-EZ, 990-PF, 990-T: every e-filed return in the IRS e-file index since 2019; XML for the latest three processing years, amounts from the IRS Statistics of Income extracts before that. PDF copies and determination letters at the IRS (search EIN 13-4120196).
Questions about INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC
- What is the EIN of INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC?
- The employer identification number (EIN) of INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC is 13-4120196.
- Is INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC tax-exempt?
- Yes. The IRS lists it as tax-exempt under section 501(c)(3) since 2001.
- Are donations to INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC tax-deductible?
- Yes. It is listed in IRS Publication 78 (Public charity, 50% deduction limit).
- Which annual return does INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC file?
- Form 990 or 990-EZ. Based on its last return; a smaller organization may file the 990-N.
- When is the next return of INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC due?
- The return for tax year 2026 (the year ending December 31, 2026) is due May 17, 2027. Form 8868 extends it by six months; the 990-N cannot be extended.
- When did INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC last file with the IRS?
- The latest return in the IRS public files is the 990-EZ for the year ended December 2025.
- Who is the principal officer of INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC?
- The 990-N for 2015 names Kenneth McMillan.
- Who are the officers and directors of INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC?
- The 990-EZ for the year ended December 31, 2025 lists 4 people; 0 received compensation from the organization.
- How much revenue does INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC have?
- On its 990-EZ for the year ended December 31, 2025 it reported revenue of $149,767, expenses of $50,690 and total assets of $329,485 at year end.
Other nonprofits in AUSTIN
- NUMFOCUS INC EIN 45-4547709 · last filed 990 for 2024
- BRINK TECHNOLOGY INC EIN 85-2919136 · last filed 990 for 2024
- FULU FOUNDATION EIN 33-4344156 · last filed 990 for 2025
- TEXAS ENERGY POVERTY RESEARCH INSTITUTE EIN 47-4407466 · last filed 990 for 2024
- EDGE INSTITUTE INC EIN 99-2785973 · last filed 990 for 2024
- RESPONSIBLE ARTIFICIAL INTELLIGENCE INSTITUTE EIN 84-3488959 · last filed 990 for 2024
- GEEKS WITHOUT FRONTIERS EIN 47-4976101 · last filed 990 for 2024
- SCIENCE TEACHERS ASSOCIATION OF TEXAS EIN 75-2262301 · last filed 990 for 2025