Civic Intelligence

International Conference on Computer Aided Verification Inc

EIN 13-4120196 • 501(c)3 • Austin, TX

Profile

To organize the annual International Conference on Computer-Aided Verification, an annual scientific conference i the field of Computer Science.

1117 W 7th StAustin, TX 78703
Siviq Scores

Precomputed percentiles relative to similar nonprofits. These scores are descriptive rather than judgmental.

Liabilities / Assets

Score unavailable

No value available

Liabilities-to-assets requires both liabilities and assets on the latest valid filing.

Source year 2024

Liabilities / Revenue

Score unavailable

No value available

Liabilities-to-revenue requires both liabilities and revenue on the latest valid filing.

Source year 2024

Net Margin

81st percentile

30%

Higher net margin than 81% of similar nonprofits.

501(c)3 • <$500k nonprofits • Source year 2024

Top Officer Pay

81st percentile

$0

Higher top officer pay than 81% of similar nonprofits.

Top officer pay equals 0.0% of source-year revenue.

501(c)3 • <$500k nonprofits • Source year 2024

Asset Growth

82nd percentile

35%

Faster asset growth than 82% of similar nonprofits.

501(c)3 • <$500k nonprofits • Annualized from 2023 to 2024

Revenue Growth

98th percentile

562%

Faster revenue growth than 98% of similar nonprofits.

501(c)3 • <$500k nonprofits • Annualized from 2023 to 2024

Balance Sheet
Liabilities / AssetsScore unavailable

Assets

Up

$230,408

Up $59,362 (+35%) from 2023

Liabilities

-

No earlier filing loaded for comparison.

Net Assets

$230,408

No earlier filing loaded for comparison.

Operations
Liabilities / RevenueScore unavailableNet Margin81st percentile

Revenue

Up

$196,313

Up $166,650 (+562%) from 2023

Expenses

Up

$136,951

Up $75,942 (+124%) from 2023

Net Income

Up

$59,362

Up $90,708 (+289%) from 2023

Trend Graphs

Balance Sheet Trend

Asset Growth82nd percentile

Grouped bars show assets, liabilities, and net assets across loaded filings.

$300K$200K$100K$0Assets 2016: $216,052Liabilities 2016: $02016Assets 2017: $269,100Liabilities 2017: $02017Assets 2018: $274,303Liabilities 2018: $02018Assets 2019: $281,537Liabilities 2019: $0Net Assets 2019: $281,5372019Assets 2020: $259,404Liabilities 2020: $02020Assets 2021: $251,224Net Assets 2021: $251,2242021Assets 2022: $202,392Liabilities 2022: $02022Assets 2023: $171,046Liabilities 2023: $02023Assets 2024: $230,408Net Assets 2024: $230,4082024

Highlighted filing

2024

Assets$230,408
Liabilities-
Net Assets$230,408
Open 2024 Filing

Operations Trend

Revenue Growth98th percentile

Revenue, expenses, and net income by year, with the latest filing highlighted.

$400K$200K$0-$200KRevenue 2016: $138,113Expenses 2016: $106,099Net Income 2016: $32,0142016Revenue 2017: $97,955Expenses 2017: $46,012Net Income 2017: $51,9432017Revenue 2018: $38,508Expenses 2018: $33,305Net Income 2018: $5,2032018Revenue 2019: $373,516Expenses 2019: $366,282Net Income 2019: $7,2342019Revenue 2020: $51,307Expenses 2020: $73,439Net Income 2020: -$22,1322020Revenue 2021: $118,756Expenses 2021: $126,936Net Income 2021: -$8,1802021Revenue 2022: $1,352Expenses 2022: $25,258Net Income 2022: -$23,9062022Revenue 2023: $29,663Expenses 2023: $61,009Net Income 2023: -$31,3462023Revenue 2024: $196,313Expenses 2024: $136,951Net Income 2024: $59,3622024

Highlighted filing

2024

Revenue$196,313
Expenses$136,951
Net Income$59,362
Open 2024 Filing

Filings

Most recent year

2024 • Form 990EZXML pending. An XML filing is linked for this year, but detailed extraction is still pending.

Open filing
Assets
$230,408
Liabilities
-
Net assets
$230,408
Revenue
$196,313
Expenses
$136,951
Net income
$59,362
Balance SheetOperations
YearAssetsLiabilitiesNet AssetsRevenueExpensesNet Income
2024XML pending. An XML filing is linked for this year, but detailed extraction is still pending.$2.30$2.30$1.96$1.37$0.59
2023Summary only. Only limited summary data is available for this year.$1.71$0.00$0.30$0.61$0.31
2022Summary only. Only limited summary data is available for this year.$2.02$0.00$0.01$0.25$0.24
2021Detailed filing. Detailed filing data is available for this year.$2.51$2.51$1.19$1.27$0.08
2020Summary only. Only limited summary data is available for this year.$2.59$0.00$0.51$0.73$0.22
2019Summary only. Only limited summary data is available for this year.$2.82$0.00$2.82$3.74$3.66$0.07
2018Summary only. Only limited summary data is available for this year.$2.74$0.00$0.39$0.33$0.05
2017Summary only. Only limited summary data is available for this year.$2.69$0.00$0.98$0.46$0.52
2016Summary only. Only limited summary data is available for this year.$2.16$0.00$1.38$1.06$0.32
Latest Detailed Filing

The latest 2024 filing currently has linked XML that has not been fully parsed yet. Showing the latest detailed filing from 2021 below.

Jump To
Filing Snapshot
Filing Period
Jan 1, 2021 to Dec 31, 2021
Signed
Jul 26, 2022
Return Version
2021v4.0
Gross Receipts
$118,756
Mission and Program Overview

Mission

Organizing and presenting annual Conference on Computer-Aided Verification.

To organize the annual International Conference on Computer-Aided Verification, an annual scientific conference i the field of Computer Science.

Program Services

DescriptionGrantsExpenses
CAV 2021. Annual computer science conference, approximate attendance 800.-$110,814
CAV Award, annual award for contributions to the field of computer aided verification-$11,383
Compensation and Service Providers
Top Officer Pay81st percentile

Employees

NameTitleFull / Part TimeBaseOtherTotal
Kenneth McMillanTreasurer-$0--
Aarti GuptaPresident-$0--
Daniel KroeningSecretary-$0--
Orna GrumbergVice President-$0--
Filing and Contact Details

Filer

Filer Name
International Conference on Computer Aided Verification Inc
EIN
13-4120196
Phone
4256383772
Address
1117 W 7th St, Austin, TX 78703

Signing Officer

Name
Kenneth McMillan
Title
Treasurer
Phone
4256383772
Signed
2022-07-26
Supplemental Narrative

Additional Explanations

Part I, Line 10

“This expense is for the annual CAV award, presented for outstanding research in the field.”

Part I, Line 16

“These expenses are for the annual CAV conference, which is the primary purpose of the organization.”

Raw XML Appendix148 raw XML fields

This appendix keeps the raw XML leaves available for debugging and edge-case review. The human report above is the primary experience.

Path#Value
IRS990EZ/ActivitiesNotPreviouslyRptInd0false
IRS990EZ/AddressChangeInd0X
IRS990EZ/BooksInCareOfDetail/PersonNm0Kenneth McMillan
IRS990EZ/BooksInCareOfDetail/PhoneNum04256383772
IRS990EZ/BooksInCareOfDetail/USAddress/AddressLine1Txt01117 W 7th St
IRS990EZ/BooksInCareOfDetail/USAddress/CityNm0Austin
IRS990EZ/BooksInCareOfDetail/USAddress/StateAbbreviationCd0TX
IRS990EZ/BooksInCareOfDetail/USAddress/ZIPCd078703
IRS990EZ/CashSavingsAndInvestmentsGrp/BOYAmt0259404
IRS990EZ/CashSavingsAndInvestmentsGrp/EOYAmt0251224
IRS990EZ/ChgMadeToOrgnzngDocNotRptInd0false
IRS990EZ/CntrctRcvdGreaterThan100KCnt00
IRS990EZ/ContributionsGiftsGrantsEtcAmt048500
IRS990EZ/DirectIndirectPltclExpendAmt00
IRS990EZ/DonorAdvisedFndsInd0false
IRS990EZ/EngagedInExcessBenefitTransInd0false
IRS990EZ/ExcessOrDeficitForYearAmt0-8180
IRS990EZ/FiledScheduleAInd0true
IRS990EZ/ForeignFinancialAccountInd0false
IRS990EZ/ForeignOfficeInd0false
IRS990EZ/Form1120PolFiledInd0false
IRS990EZ/Form990TotalAssetsGrp/BOYAmt0259404
IRS990EZ/Form990TotalAssetsGrp/EOYAmt0251224
IRS990EZ/GrantsAndSimilarAmountsPaidAmt011383
IRS990EZ/GrossReceiptsAmt0118756
IRS990EZ/InfoInScheduleOPartIInd0X
IRS990EZ/InvestmentIncomeAmt08326
IRS990EZ/LobbyingActivitiesInd0false
IRS990EZ/MadeLoansToFromOfficersInd0false
IRS990EZ/MethodOfAccountingCashInd0X
IRS990EZ/NetAssetsOrFundBalancesBOYAmt0259404
IRS990EZ/NetAssetsOrFundBalancesEOYAmt0251224
IRS990EZ/NetAssetsOrFundBalancesGrp/BOYAmt0259404
IRS990EZ/NetAssetsOrFundBalancesGrp/EOYAmt0251224
IRS990EZ/OfficerDirectorTrusteeEmplGrp/AverageHrsPerWkDevotedToPosRt00.00
IRS990EZ/OfficerDirectorTrusteeEmplGrp/AverageHrsPerWkDevotedToPosRt10.00
IRS990EZ/OfficerDirectorTrusteeEmplGrp/AverageHrsPerWkDevotedToPosRt20.00
IRS990EZ/OfficerDirectorTrusteeEmplGrp/AverageHrsPerWkDevotedToPosRt30.00
IRS990EZ/OfficerDirectorTrusteeEmplGrp/CompensationAmt00
IRS990EZ/OfficerDirectorTrusteeEmplGrp/CompensationAmt10
IRS990EZ/OfficerDirectorTrusteeEmplGrp/CompensationAmt20
IRS990EZ/OfficerDirectorTrusteeEmplGrp/CompensationAmt30
IRS990EZ/OfficerDirectorTrusteeEmplGrp/EmployeeBenefitProgramAmt00
IRS990EZ/OfficerDirectorTrusteeEmplGrp/EmployeeBenefitProgramAmt10
IRS990EZ/OfficerDirectorTrusteeEmplGrp/EmployeeBenefitProgramAmt20
IRS990EZ/OfficerDirectorTrusteeEmplGrp/EmployeeBenefitProgramAmt30
IRS990EZ/OfficerDirectorTrusteeEmplGrp/ExpenseAccountOtherAllwncAmt00
IRS990EZ/OfficerDirectorTrusteeEmplGrp/ExpenseAccountOtherAllwncAmt10
IRS990EZ/OfficerDirectorTrusteeEmplGrp/ExpenseAccountOtherAllwncAmt20
IRS990EZ/OfficerDirectorTrusteeEmplGrp/ExpenseAccountOtherAllwncAmt30
IRS990EZ/OfficerDirectorTrusteeEmplGrp/PersonNm0Kenneth McMillan
IRS990EZ/OfficerDirectorTrusteeEmplGrp/PersonNm1Aarti Gupta
IRS990EZ/OfficerDirectorTrusteeEmplGrp/PersonNm2Daniel Kroening
IRS990EZ/OfficerDirectorTrusteeEmplGrp/PersonNm3Orna Grumberg
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt0Treasurer
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt1President
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt2Secretary
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt3Vice President
IRS990EZ/OperateHospitalInd0false
IRS990EZ/Organization501c3Ind0X
IRS990EZ/OrganizationDissolvedEtcInd0false
IRS990EZ/OrganizationHadUBIInd0false
IRS990EZ/OtherEmployeePaidOver100kCnt00
IRS990EZ/OtherExpensesTotalAmt0115553
IRS990EZ/PartVIHghstPdCntrctProfSrvcTxt0NONE
IRS990EZ/PartVIOfCompOfHghstPdEmplTxt0NONE
IRS990EZ/PoliticalCampaignActyInd0false
IRS990EZ/PrimaryExemptPurposeTxt0To organize the annual International Conference on Computer-Aided Verification, an annual scientific conference i the field of Computer Science.
IRS990EZ/ProgramServiceRevenueAmt061930
IRS990EZ/ProgramSrvcAccomplishmentGrp/DescriptionProgramSrvcAccomTxt0CAV 2021. Annual computer science conference, approximate attendance 800.
IRS990EZ/ProgramSrvcAccomplishmentGrp/DescriptionProgramSrvcAccomTxt1CAV Award, annual award for contributions to the field of computer aided verification
IRS990EZ/ProgramSrvcAccomplishmentGrp/ProgramServiceExpensesAmt0110814
IRS990EZ/ProgramSrvcAccomplishmentGrp/ProgramServiceExpensesAmt111383
IRS990EZ/ProhibitedTaxShelterTransInd0false
IRS990EZ/RelatedOrganizationCtrlEntInd0false
IRS990EZ/SchoolOperatingInd0false
IRS990EZ/StatesWhereCopyOfReturnIsFldCd0NY
IRS990EZ/SubjectToProxyTaxInd0false
IRS990EZ/TanningServicesProvidedInd0false
IRS990EZ/TaxImposedUnderIRC4911Amt00
IRS990EZ/TaxImposedUnderIRC4912Amt00
IRS990EZ/TaxImposedUnderIRC4955Amt00
IRS990EZ/TotalExpensesAmt0126936
IRS990EZ/TotalProgramServiceExpensesAmt0122197
IRS990EZ/TotalRevenueAmt0118756
IRS990EZ/TransactionWithControlEntInd0false
IRS990EZ/TrnsfrExmptNonChrtblRltdOrgInd0false
IRS990EZ/TypeOfOrganizationCorpInd0X
IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearAmt048500
IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus1YearAmt036000
IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus2YearsAmt087040
IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus3YearsAmt030000
IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus4YearsAmt088089
IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/TotalAmt0289629
IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearAmt08326
IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus1YearAmt015307
IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus2YearsAmt06477
IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus3YearsAmt0-5328
IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus4YearsAmt08866
IRS990ScheduleA/GrossInvestmentIncome170Grp/TotalAmt033648
IRS990ScheduleA/OtherSupportSumAmt00
IRS990ScheduleA/PublicOrganization170Ind0X
IRS990ScheduleA/PublicSupportCY170Pct00.41290
IRS990ScheduleA/PublicSupportPY170Pct00.42000
IRS990ScheduleA/PublicSupportTotal170Amt0133470
IRS990ScheduleA/SubstantialContributorsTotAmt0156159
IRS990ScheduleA/SupportedOrganizationsCnt00
IRS990ScheduleA/SupportedOrganizationsTotalCnt00
IRS990ScheduleA/SupportSumAmt00
IRS990ScheduleA/ThirtyThrPctSuprtTestsCY170Ind0X
IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearAmt048500
IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus1YearAmt036000
IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus2YearsAmt087040
IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus3YearsAmt030000
IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus4YearsAmt088089
IRS990ScheduleA/TotalCalendarYear170Grp/TotalAmt0289629
IRS990ScheduleA/TotalSupportAmt0323277
IRS990ScheduleB/ContributorInformationGrp/ContributorBusinessName/BusinessNameLine10RESTRICTED
IRS990ScheduleB/ContributorInformationGrp/ContributorNum0RESTRICTED
IRS990ScheduleB/ContributorInformationGrp/ContributorUSAddress/AddressLine10RESTRICTED
IRS990ScheduleB/ContributorInformationGrp/ContributorUSAddress/AddressLine20RESTRICTED
IRS990ScheduleB/ContributorInformationGrp/ContributorUSAddress/City0RESTRICTED
IRS990ScheduleB/ContributorInformationGrp/ContributorUSAddress/State0RESTRICTED
IRS990ScheduleB/ContributorInformationGrp/ContributorUSAddress/ZIPCode0RESTRICTED
IRS990ScheduleB/ContributorInformationGrp/TotalContributionsAmt0RESTRICTED
IRS990ScheduleO/SupplementalInformationDetail/ExplanationTxt0This expense is for the annual CAV award, presented for outstanding research in the field.
IRS990ScheduleO/SupplementalInformationDetail/ExplanationTxt1These expenses are for the annual CAV conference, which is the primary purpose of the organization.
IRS990ScheduleO/SupplementalInformationDetail/FormAndLineReferenceDesc0Part I, Line 10
IRS990ScheduleO/SupplementalInformationDetail/FormAndLineReferenceDesc1Part I, Line 16
ReasonableCauseExplanation/ExplanationTxt0We are an all-volunteer organization with few resources available for administrative functions and no professional staff. This sometimes results in long delays in handling administrative issues. We apologize for the delay in filing.
ReturnHeader/BuildTS02022-09-23 18:48:47Z
ReturnHeader/BusinessOfficerGrp/PersonNm0Kenneth McMillan
ReturnHeader/BusinessOfficerGrp/PersonTitleTxt0Treasurer
ReturnHeader/BusinessOfficerGrp/PhoneNum04256383772
ReturnHeader/BusinessOfficerGrp/SignatureDt02022-07-26
ReturnHeader/Filer/BusinessName/BusinessNameLine1Txt0INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC
ReturnHeader/Filer/BusinessNameControlTxt0INTE
ReturnHeader/Filer/EIN0134120196
ReturnHeader/Filer/PhoneNum04256383772
ReturnHeader/Filer/USAddress/AddressLine1Txt01117 W 7th St
ReturnHeader/Filer/USAddress/CityNm0Austin
ReturnHeader/Filer/USAddress/StateAbbreviationCd0TX
ReturnHeader/Filer/USAddress/ZIPCd078703
ReturnHeader/ReturnTs02022-07-26T17:50:57Z
ReturnHeader/ReturnTypeCd0990EZ
ReturnHeader/TaxPeriodBeginDt02021-01-01
ReturnHeader/TaxPeriodEndDt02021-12-31
ReturnHeader/TaxYr02021

Document Assets

No mirrored PDF or thumbnail assets are attached yet.

Peer Organizations

Similar nonprofits based on the same Siviq industry and scale cohort. 501(c)3 • <$500k nonprofits