International Conference On Computer Aided Verification Inc
- Assets
- $202.4k
- Revenue
- $0.0
- Investments
- $0.0
- Employees
- 0
- Location
- Austin, TX
- Founding
- 01/2001
- Data as of
- 12/2022
- EIN
- 13-4120196
Organization Overview
International Conference On Computer Aided Verification Inc is located in Austin, TX. The organization was established in 2001. According to its NTEE Classification (U40) the organization is classified as: Engineering & Technology, under the broad grouping of Science & Technology and related organizations. This organization is an independent organization and not affiliated with a larger national or regional group of organizations. International Conference On Computer Aided Verification Inc is a 501(c)(3) and as such, is described as a "Charitable or Religous organization or a private foundation" by the IRS.
For the year ending 12/2022, International Conference On Computer Aided Verification Inc generated $1.4k in total revenue. All expenses for the organization totaled $25.3k during the year ending 12/2022.
Get More from Intellispect for FreeCreate a free account to get more data, nonprofit salaries, advanced search and more.
Board, Officers & Key Employees
| Name (title) | Role | Hours | Compensation |
|---|---|---|---|
Kenneth Mcmillan Treasurer | 0 | $0 | |
Daniel Kroening Secretary | 0 | $0 | |
Aarti Gupta President | 0 | $0 | |
Orna Grumberg Vice President | 0 | $0 |
Financial Statements
| Statement of Revenue | |
|---|---|
| Total Revenue from Contributions, Gifts, Grants & Similar | $1,352 |
| Total Program Service Revenue | $0 |
| Membership dues | $0 |
| Investment income | $0 |
| Gain or Loss | $0 |
| Net Income from Gaming & Fundraising | $0 |
| Other Revenue | $0 |
| Total Revenue | $1,352 |
| Statement of Expenses | |
|---|---|
| Grants and similar amounts paid | $0 |
| Benefits paid to or for members | $0 |
| Salaries, other compensation, and employee benefits | $0 |
| Professional fees and other payments to independent contractors | $0 |
| Occupancy, rent, utilities, and maintenance | $0 |
| Printing, publications, postage, and shipping | $0 |
| Other expenses | $14,830 |
| Total expenses | $25,258 |
| Balance Sheet | |
|---|---|
| Cash, savings, and investments | $202,392 |
| Other assets | $0 |
| Total assets | $202,392 |
| Total liabilities | $0 |
| Net assets or fund balances | $202,392 |