1. Directory
  2. Texas
  3. Austin
  4. International Conference on Computer Aided Verification
EIN 13-4120196

International Conference on Computer Aided Verification

IRS 501(c) type
501(c)(3)
Num. employees
0
City
Austin
State
Texas
Year formed
2001
Most recent tax filings
2023-12-01
NTEE code, primary
U40: Engineering and Technology Research, Services
Description
International Conference on Computer Aided Verification is a computer science conference held annually with the mission of organizing an international scientific conference. It was held virtually this year and had approximately 800 attendees located in Bellevue, WA.
Total revenues
$29,663
2023
Total expenses
$61,009
2023
Total assets
$171,046
2023
Num. employees
0
2019

Personnel at International Conference on Computer Aided Verification

NameTitleCompensation
Kenneth McMillanTreasurer$0

Financials for International Conference on Computer Aided Verification

RevenuesFYE 12/2023
Total grants, contributions, etc.$2,173
Program services$16,667
Membership dues$0
Investment income and dividends$10,823
Net gain from sale of non-inventory assets$0
Net income from gaming activities and fundraising events, combined$0
Net income from sales of inventory$0
Miscellaneous revenues$0
Total revenues$29,663

Form 990s for International Conference on Computer Aided Verification

Fiscal year endingDate received by IRSFormPDF link
2023-122024-05-13990EZView PDF
2022-122024-04-13990EZView PDF
2021-122022-07-26990EZView PDF
2020-122022-06-14990EZView PDF
2019-122021-09-23990View PDF
...and 3 more Form 990s
Data update history
May 18, 2024
Posted financials
Added Form 990EZ for fiscal year 2022
November 25, 2023
Posted financials
Added Form 990EZ for fiscal year 2021
June 26, 2023
Updated personnel
Identified 4 new personnel
February 3, 2023
Posted financials
Added Form 990EZ for fiscal year 2020
March 1, 2022
Posted financials
Added Form 990 for fiscal year 2019
Nonprofit Types
Professional associationsBusiness and community development organizationsResearch centersCharities
Issues
Science and technologyBusiness and industry
Characteristics
Conducts researchPartially liquidatedState / local levelTax deductible donationsNo full-time employees
General information
Address
1117 W 7th St
Austin, TX 78703
Metro area
Austin-Round Rock-Georgetown, TX
County
Travis County, TX
Phone
(425) 638-3772
IRS details
EIN
13-4120196
Fiscal year end
December
Taxreturn type
Form 990-EZ
Year formed
2001
Eligible to receive tax-deductible contributions (Pub 78)
Yes
Categorization
NTEE code, primary
U40: Engineering and Technology Research, Services
NAICS code, primary
813920: Professional Associations
Parent/child status
Independent
Free account sign-up

Want updates when International Conference on Computer Aided Verification has new information, or want to find more organizations like International Conference on Computer Aided Verification?

Create free Cause IQ account
Cause IQ is a website that helps companies grow, maintain, and serve their nonprofit clients, and helps nonprofits find additional foundation funding. Our data and tools help professionals prospect for nonprofits, research opportunities, benchmark their clients, and enrich existing information.
Nonprofits
Product
Customers
About

© 2025 Nonprofit Metrics LLC
Terms of Service and Privacy Policy