Nonprofits›International Conference On Computer Aided Verification Inc
Science & Technology
International Conference On Computer Aided Verification Inc
AUSTIN, TX
Total revenue
$196K
Total expenses
$137K
Net assets
$230K
Grants received
—
EIN
134120196
Tax year
2024
Mission
Organizing and presenting annual Conference on Computer-Aided Verification.
Financials
FY 2024
Revenue
Contributions & grants$47K
Program service revenue$142K
Investment income$8K
Other revenue—
Total revenue$196K
Expenses
Grants paid$11K
Salaries & benefits—
Fundraising—
Other expenses$1K
Total expenses$137K
Total assets$230K
Net assets$230K
People
4 listed
NameRoleCompensation
{"_":"Aarti Gupta","attributes":{"referenceDocumentName":"CompensationExplanation"}}
President
Board
—
0{"_":"Kenneth McMillan","attributes":{"referenceDocumentName":"CompensationExplanation"}}
Secretary
Board
—
0{"_":"Orna Grumberg","attributes":{"referenceDocumentName":"CompensationExplanation"}}
Vice President
Board
—
0{"_":"Daniel Kroening","attributes":{"referenceDocumentName":"CompensationExplanation"}}
Vice President
Board
—
0Details
EIN134120196
NTEE codeU40
Subsection03
Ruling date2001-01