NonprofitsInternational 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

0

Details

EIN134120196
NTEE codeU40
Subsection03
Ruling date2001-01