Civic Intelligence

International Conference on Computer Aided Verification Inc

990EZ • Fiscal year 2023 • EIN 13-4120196

Jan 01, 2023 to Dec 31, 2023 • Filed on May 13, 2024

Organization Profile
1117 W 7th StAustin, TX 78703

(425) 638-3772

Siviq Scores

Precomputed percentiles for this filing year versus similar nonprofits in the same peer cohort.

Liabilities / Assets

Score unavailable

No value available

Liabilities-to-assets requires both liabilities and assets on this filing.

Source year 2023

Liabilities / Revenue

Score unavailable

No value available

Liabilities-to-revenue requires both liabilities and revenue on this filing.

Source year 2023

Net Margin

6th percentile

-106%

Higher net margin than 6% of similar nonprofits.

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

Top Officer Pay

78th percentile

$0

Higher top officer pay than 78% of similar nonprofits.

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

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

Asset Growth

27th percentile

-15%

Faster asset growth than 27% of similar nonprofits.

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

Revenue Growth

99th percentile

2094%

Faster revenue growth than 99% of similar nonprofits.

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

Balance Sheet
Liabilities / AssetsScore unavailable

Assets

Flat

$171,046

Flat from 2023

Net Assets

$171,046

No earlier filing loaded for comparison.

Liabilities

-

No earlier filing loaded for comparison.

Revenue And Expenses
Liabilities / RevenueScore unavailableNet Margin6th percentile

Revenue

Flat

$29,663

Flat from 2023

Expenses

Flat

$61,009

Flat from 2023

Net Income

Flat

-$31,346

Flat from 2023

Historical Trend

Balance Sheet Trend

Asset Growth27th percentile

The highlighted filing sits inside the broader history for assets, liabilities, and net assets.

$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,046Net Assets 2023: $171,0462023Assets 2023: $171,046Liabilities 2023: $02023Assets 2024: $230,408Net Assets 2024: $230,4082024

Highlighted filing

2023

Assets$171,046
Liabilities-
Net Assets$171,046
Open 2023 Filing

Operations Trend

Revenue Growth99th percentile

Revenue, expenses, and net income across loaded years, with this 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 2023: $29,663Expenses 2023: $61,009Net Income 2023: -$31,3462023Revenue 2024: $196,313Expenses 2024: $136,951Net Income 2024: $59,3622024

Highlighted filing

2023

Revenue$29,663
Expenses$61,009
Net Income-$31,346
Open 2023 Filing
Jump To
Filing Snapshot
Filing Period
Jan 1, 2023 to Dec 31, 2023
Signed
May 13, 2024
Return Version
2023v5.0
Gross Receipts
$29,663
Mission and Program Overview

Mission

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

Organizing the annual International Conference on Computer-Aided Verification

Program Services

DescriptionGrantsExpenses
Organized annual conference-$59,927
Annual CAV award-$583
Compensation and Service Providers
Top Officer Pay78th percentile

Employees

NameTitleFull / Part TimeBaseOtherTotal
Daniel KroeningSecretary-$0--
Aarti GuptaPresident-$0--
Orna GrumbergVice President-$0--
Kenneth McMillanPresident-$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
2024-05-13
Supplemental Narrative

Additional Explanations

Part I, Line 10

“Costs related to annual CAV award”

Part I, Line 16

“Miscellaneous operating expenses”

Raw XML Appendix179 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/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/BOYAmt0202392
IRS990EZ/CashSavingsAndInvestmentsGrp/EOYAmt0171046
IRS990EZ/ChgMadeToOrgnzngDocNotRptInd0false
IRS990EZ/CntrctRcvdGreaterThan100KCnt00
IRS990EZ/ContributionsGiftsGrantsEtcAmt02173
IRS990EZ/DonorAdvisedFndsInd0false
IRS990EZ/EngagedInExcessBenefitTransInd0false
IRS990EZ/ExcessOrDeficitForYearAmt0-31346
IRS990EZ/FeesAndOtherPymtToIndCntrctAmt059927
IRS990EZ/FiledScheduleAInd0true
IRS990EZ/ForeignFinancialAccountInd0false
IRS990EZ/Form1120PolFiledInd0false
IRS990EZ/Form990TotalAssetsGrp/BOYAmt0202392
IRS990EZ/Form990TotalAssetsGrp/EOYAmt0171046
IRS990EZ/GrantsAndSimilarAmountsPaidAmt0583
IRS990EZ/GrossReceiptsAmt029663
IRS990EZ/InfoInScheduleOPartIInd0X
IRS990EZ/InvestmentIncomeAmt010823
IRS990EZ/LobbyingActivitiesInd0false
IRS990EZ/MadeLoansToFromOfficersInd0false
IRS990EZ/MethodOfAccountingCashInd0X
IRS990EZ/NetAssetsOrFundBalancesBOYAmt0202392
IRS990EZ/NetAssetsOrFundBalancesEOYAmt0171046
IRS990EZ/NetAssetsOrFundBalancesGrp/BOYAmt0202392
IRS990EZ/NetAssetsOrFundBalancesGrp/EOYAmt0171046
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/PersonNm0Daniel Kroening
IRS990EZ/OfficerDirectorTrusteeEmplGrp/PersonNm1Aarti Gupta
IRS990EZ/OfficerDirectorTrusteeEmplGrp/PersonNm2Orna Grumberg
IRS990EZ/OfficerDirectorTrusteeEmplGrp/PersonNm3Kenneth McMillan
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt0Secretary
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt1President
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt2Vice President
IRS990EZ/OfficerDirectorTrusteeEmplGrp/TitleTxt3President
IRS990EZ/OperateHospitalInd0false
IRS990EZ/Organization501c3Ind0X
IRS990EZ/OrganizationDissolvedEtcInd0false
IRS990EZ/OrganizationHadUBIInd0false
IRS990EZ/OtherEmployeePaidOver100kCnt00
IRS990EZ/OtherExpensesTotalAmt0499
IRS990EZ/PartVIHghstPdCntrctProfSrvcTxt0NONE
IRS990EZ/PartVIOfCompOfHghstPdEmplTxt0NONE
IRS990EZ/PoliticalCampaignActyInd0false
IRS990EZ/PrimaryExemptPurposeTxt0Organizing the annual International Conference on Computer-Aided Verification
IRS990EZ/ProgramServiceRevenueAmt016667
IRS990EZ/ProgramSrvcAccomplishmentGrp/DescriptionProgramSrvcAccomTxt0Organized annual conference
IRS990EZ/ProgramSrvcAccomplishmentGrp/DescriptionProgramSrvcAccomTxt1Annual CAV award
IRS990EZ/ProgramSrvcAccomplishmentGrp/ProgramServiceExpensesAmt059927
IRS990EZ/ProgramSrvcAccomplishmentGrp/ProgramServiceExpensesAmt1583
IRS990EZ/ProhibitedTaxShelterTransInd0false
IRS990EZ/RelatedOrganizationCtrlEntInd0false
IRS990EZ/RelatedOrgSect527OrgInd0false
IRS990EZ/SchoolOperatingInd0false
IRS990EZ/StatesWhereCopyOfReturnIsFldCd0NY
IRS990EZ/SubjectToProxyTaxInd0false
IRS990EZ/TanningServicesProvidedInd0false
IRS990EZ/TotalExpensesAmt061009
IRS990EZ/TotalProgramServiceExpensesAmt060510
IRS990EZ/TotalRevenueAmt029663
IRS990EZ/TransactionWithControlEntInd0false
IRS990EZ/TrnsfrExmptNonChrtblRltdOrgInd0false
IRS990EZ/TypeOfOrganizationCorpInd0X
IRS990ScheduleA/AmountsRcvdDsqlfyPersonGrp/CurrentTaxYearAmt00
IRS990ScheduleA/AmountsRcvdDsqlfyPersonGrp/CurrentTaxYearMinus1YearAmt00
IRS990ScheduleA/AmountsRcvdDsqlfyPersonGrp/CurrentTaxYearMinus2YearsAmt00
IRS990ScheduleA/AmountsRcvdDsqlfyPersonGrp/CurrentTaxYearMinus3YearsAmt00
IRS990ScheduleA/AmountsRcvdDsqlfyPersonGrp/CurrentTaxYearMinus4YearsAmt00
IRS990ScheduleA/AmountsRcvdDsqlfyPersonGrp/TotalAmt00
IRS990ScheduleA/GiftsGrantsContrisRcvd509Grp/CurrentTaxYearAmt02173
IRS990ScheduleA/GiftsGrantsContrisRcvd509Grp/CurrentTaxYearMinus1YearAmt01352
IRS990ScheduleA/GiftsGrantsContrisRcvd509Grp/CurrentTaxYearMinus2YearsAmt036000
IRS990ScheduleA/GiftsGrantsContrisRcvd509Grp/CurrentTaxYearMinus3YearsAmt087040
IRS990ScheduleA/GiftsGrantsContrisRcvd509Grp/CurrentTaxYearMinus4YearsAmt030000
IRS990ScheduleA/GiftsGrantsContrisRcvd509Grp/TotalAmt0156565
IRS990ScheduleA/GrossInvestmentIncome509Grp/CurrentTaxYearAmt010823
IRS990ScheduleA/GrossInvestmentIncome509Grp/CurrentTaxYearMinus1YearAmt0-24927
IRS990ScheduleA/GrossInvestmentIncome509Grp/CurrentTaxYearMinus2YearsAmt08866
IRS990ScheduleA/GrossInvestmentIncome509Grp/CurrentTaxYearMinus3YearsAmt08326
IRS990ScheduleA/GrossInvestmentIncome509Grp/CurrentTaxYearMinus4YearsAmt015307
IRS990ScheduleA/GrossInvestmentIncome509Grp/TotalAmt018395
IRS990ScheduleA/GrossReceiptsAdmissionsGrp/CurrentTaxYearAmt016667
IRS990ScheduleA/GrossReceiptsAdmissionsGrp/CurrentTaxYearMinus1YearAmt00
IRS990ScheduleA/GrossReceiptsAdmissionsGrp/CurrentTaxYearMinus2YearsAmt015307
IRS990ScheduleA/GrossReceiptsAdmissionsGrp/CurrentTaxYearMinus3YearsAmt0271230
IRS990ScheduleA/GrossReceiptsAdmissionsGrp/CurrentTaxYearMinus4YearsAmt013836
IRS990ScheduleA/GrossReceiptsAdmissionsGrp/TotalAmt0317040
IRS990ScheduleA/InvestmentIncomeAndUBTIGrp/CurrentTaxYearAmt010823
IRS990ScheduleA/InvestmentIncomeAndUBTIGrp/CurrentTaxYearMinus1YearAmt0-24927
IRS990ScheduleA/InvestmentIncomeAndUBTIGrp/CurrentTaxYearMinus2YearsAmt08866
IRS990ScheduleA/InvestmentIncomeAndUBTIGrp/CurrentTaxYearMinus3YearsAmt08326
IRS990ScheduleA/InvestmentIncomeAndUBTIGrp/CurrentTaxYearMinus4YearsAmt015307
IRS990ScheduleA/InvestmentIncomeAndUBTIGrp/TotalAmt018395
IRS990ScheduleA/InvestmentIncomeCYPct00.03740
IRS990ScheduleA/InvestmentIncomePYPct00.02520
IRS990ScheduleA/NetIncomeFromOtherUBIGrp/TotalAmt00
IRS990ScheduleA/OtherIncome509Grp/TotalAmt00
IRS990ScheduleA/Post1975UBTIGrp/TotalAmt00
IRS990ScheduleA/PubliclySupportedOrg509a2Ind0X
IRS990ScheduleA/PublicSupportCY509Pct00.96260
IRS990ScheduleA/PublicSupportPY509Pct00.97480
IRS990ScheduleA/PublicSupportTotal509Amt0473605
IRS990ScheduleA/SubstAndDsqlfyPrsnsTotGrp/CurrentTaxYearAmt00
IRS990ScheduleA/SubstAndDsqlfyPrsnsTotGrp/CurrentTaxYearMinus1YearAmt00
IRS990ScheduleA/SubstAndDsqlfyPrsnsTotGrp/CurrentTaxYearMinus2YearsAmt00
IRS990ScheduleA/SubstAndDsqlfyPrsnsTotGrp/CurrentTaxYearMinus3YearsAmt00
IRS990ScheduleA/SubstAndDsqlfyPrsnsTotGrp/CurrentTaxYearMinus4YearsAmt00
IRS990ScheduleA/SubstAndDsqlfyPrsnsTotGrp/TotalAmt00
IRS990ScheduleA/SubstantialContributorsAmtGrp/CurrentTaxYearAmt00
IRS990ScheduleA/SubstantialContributorsAmtGrp/CurrentTaxYearMinus1YearAmt00
IRS990ScheduleA/SubstantialContributorsAmtGrp/CurrentTaxYearMinus2YearsAmt00
IRS990ScheduleA/SubstantialContributorsAmtGrp/CurrentTaxYearMinus3YearsAmt00
IRS990ScheduleA/SubstantialContributorsAmtGrp/CurrentTaxYearMinus4YearsAmt00
IRS990ScheduleA/SubstantialContributorsAmtGrp/TotalAmt00
IRS990ScheduleA/SupportedOrganizationsCnt00
IRS990ScheduleA/ThirtyThrPctSuprtTestsCY509Ind0X
IRS990ScheduleA/Total509Grp/CurrentTaxYearAmt018840
IRS990ScheduleA/Total509Grp/CurrentTaxYearMinus1YearAmt01352
IRS990ScheduleA/Total509Grp/CurrentTaxYearMinus2YearsAmt051307
IRS990ScheduleA/Total509Grp/CurrentTaxYearMinus3YearsAmt0358270
IRS990ScheduleA/Total509Grp/CurrentTaxYearMinus4YearsAmt043836
IRS990ScheduleA/Total509Grp/TotalAmt0473605
IRS990ScheduleA/TotalSupportCalendarYearGrp/CurrentTaxYearAmt029663
IRS990ScheduleA/TotalSupportCalendarYearGrp/CurrentTaxYearMinus1YearAmt0-23575
IRS990ScheduleA/TotalSupportCalendarYearGrp/CurrentTaxYearMinus2YearsAmt060173
IRS990ScheduleA/TotalSupportCalendarYearGrp/CurrentTaxYearMinus3YearsAmt0366596
IRS990ScheduleA/TotalSupportCalendarYearGrp/CurrentTaxYearMinus4YearsAmt059143
IRS990ScheduleA/TotalSupportCalendarYearGrp/TotalAmt0492000
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/ExplanationTxt0Costs related to annual CAV award
IRS990ScheduleO/SupplementalInformationDetail/ExplanationTxt1Miscellaneous operating expenses
IRS990ScheduleO/SupplementalInformationDetail/FormAndLineReferenceDesc0Part I, Line 10
IRS990ScheduleO/SupplementalInformationDetail/FormAndLineReferenceDesc1Part I, Line 16
ReturnHeader/BuildTS02023-04-26 12:10:37Z
ReturnHeader/BusinessOfficerGrp/PersonNm0Kenneth McMillan
ReturnHeader/BusinessOfficerGrp/PersonTitleTxt0Treasurer
ReturnHeader/BusinessOfficerGrp/PhoneNum04256383772
ReturnHeader/BusinessOfficerGrp/SignatureDt02024-05-13
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/ReturnTs02024-05-13T23:43:49Z
ReturnHeader/ReturnTypeCd0990EZ
ReturnHeader/TaxPeriodBeginDt02023-01-01
ReturnHeader/TaxPeriodEndDt02023-12-31
ReturnHeader/TaxYr02023

Document Assets

No mirrored PDF or thumbnail assets are attached yet.

Filings

Displayed year

2023 • Form 990EZDetailed filing. Detailed filing data is available for this year.

Open filing
Assets
$171,046
Liabilities
-
Net assets
$171,046
Revenue
$29,663
Expenses
$61,009
Net income
-$31,346
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
2023Detailed filing. Detailed filing data is available for this year.$1.71$1.71$0.30$0.61$0.31
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