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.
Name (title) | Role | Hours | Compensation |
---|---|---|---|
Daniel Kroening Secretary | 0 | $0 | |
Kenneth Mcmillan Treasurer | 0 | $0 | |
Orna Grumberg Vice President | 0 | $0 | |
Aarti Gupta President | 0 | $0 |
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 |
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 | $115,553 |
Total expenses | $126,936 |
Balance Sheet | |
---|---|
Cash, savings, and investments | $251,224 |
Other assets | $0 |
Total assets | $251,224 |
Total liabilities | $0 |
Net assets or fund balances | $251,224 |
Organization Name | Assets | Revenue |
---|---|---|
Houston Advanced Research Center The Woodlands, TX | $1,028,112 | $5,176,623 |
Stephenson Technologies Corporation Baton Rouge, LA | $6,317,141 | $14,464,169 |
Stephenson Stellar Corporation Baton Rouge, LA | $3,925,054 | $6,640,375 |
The Center Of Excellence Carlsbad, NM | $28,336,741 | $6,412,338 |
Louisiana Tech Applied Research Corporation Ruston, LA | $1,959,252 | $1,931,207 |
Alek Kavcic Foundation Austin, TX | $781,603 | $1,590,385 |
Brink Technology Inc Austin, TX | $3,996,292 | $4,459,224 |
Youth Code Jam San Antonio San Antonio, TX | $236,927 | $371,939 |
Center For Maximum Potential Building Systems Inc Austin, TX | $946,793 | $448,420 |
Sonrisa Research Inc Santa Fe, NM | $10,296 | $308,096 |
Business Technology Association Southeast Baton Rouge, LA | $797,169 | $283,032 |
Technology Student Association Carthage, TX | $994,243 | $360,844 |