International Conference On Computer Aided Verification Inc

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/2021, International Conference On Computer Aided Verification Inc generated $118.8k in total revenue. The organization has seen a slow decline revenue. Over the past 5 years, revenues have fallen by an average of (3.0%) each year. All expenses for the organization totaled $126.9k during the year ending 12/2021. You can explore the organizations financials more deeply in the financial statements section below.

Get More from Intellispect for FreeCreate a free account to get more data, nonprofit salaries, advanced search and more.

Financial Statements

Statement of Revenue
Total Revenue from Contributions, Gifts, Grants & Similar$48,500
Total Program Service Revenue$61,930
Membership dues$0
Investment income $8,326
Gain or Loss$0
Net Income from Gaming & Fundraising$0
Other Revenue$0
Total Revenue$118,756

Create an account to unlock the data you need.

or