{"success":true,"data":{"_id":134120196,"filings":[{"Organization":{"value":null,"Person":["Kenneth McMillan","Daniel Kroening","Aarti Gupta","Orna Grumberg"],"Title":["Treasurer","Secretary","President","Vice President"],"Hours":[0.0,0.0,0.0,0.0],"Total Compensation":[0,0,0,0],"Direct compensation":[0,0,0,0],"Other compensation":[0,0,0,0]},"Basic":{"value":null,"mission":"Organizing an annual conference in computer science.","year":2022,"name":"INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC","phone":4256383772,"website":null,"type":"990EZ","affiliation":null,"foreign_countries":null,"principal_officer":null,"year_formation":null,"state_legal_domicile":null,"total_volunteers":null,"tax_period_begin":"2022-01-01T00:00:00","tax_period_end":"2022-12-31T00:00:00","address":"1117 W 7th St, Austin, TX, 78703, USA","city":"Austin","state":"TX","country":"USA","zip_code":78703},"Governance":{"value":null,"501c3 determination":true,"501c determination":false,"Number of voting members":null,"Number of independent voting members":null,"Number of employees total":null,"Total Gross UBI":null,"Net unrelated business taxable income":null,"Number of employees":null,"Prohibited tax shelter transactions":false,"Taxable party notification":false,"Funds to pay premiums":false,"Premiums Paid":false,"Family or business relationship":false,"Delegation of management duties":false,"Conflict of interest policy":false,"Whistle blower policy":false,"Compensation process for CEO":false,"Compensation process for other employees":false,"Changes to organizing documents":false,"Material diversion or misuse":false,"Members or stockholders":false,"Election of board members":false,"Decisions subject to approval":false,"Minutes of governing body":false,"Local chapters":false,"Form 990 provided to governing body":false,"Document retention policy":false,"Investment in joint venture":false,"Independent audit financial statements":false,"Consolidated audit financial statements":false,"Accountant compile or review":false,"Political activities":false,"Donor advised funds":false,"Conservation easements":false,"Collections of art":false,"School":false,"Hospital":false,"Foreign activities":false,"Foreign office":false,"Gaming":false,"Fundraising activities":false,"Professional fundraising":false,"Loan to officer or DQP":false,"Grant to related person":false,"Business relationship through family member":false,"Business relationship with organization":false},"Revenues":{"value":1352,"Contributions":{"value":1352,"Other contributions":0,"Contributions from gifts and grants":1352,"Fundraising revenue":0,"Dues":0,"Campaigns":0,"Grant revenue":0,"Related organizations":0},"Program revenue":{"value":0,"Total revenue":0,"Total other revenue":0,"Unrelated business revenue":0},"Investment income":{"value":0,"Investment income total":0,"Net investment gain":0,"Income from invest bond proceeds":0},"Other revenues":{"value":0,"Other total":0,"Royalties revenue":0,"Net rental income":0,"Net income from fundraising events":0,"Net income from gaming":0,"Net income":0,"Gross profit from sales of inventory":0,"Gain from sale of assets":0}},"Expenses":{"value":25258,"Grant expense":{"value":10428,"Grants to domestic orgs":0,"Grants to domestic individuals":0,"Grants and similar":10428,"Foreign grants":0},"Total professional fundraising expense":{"value":0,"Fundraising professional":0,"Fees to independent contractors":0},"Benefits paid to members":{"value":0,"Benefits paid to members Total":0},"Salaries":{"value":0,"Current officers":0,"Disqualified persons":0,"Other salaries and wages":0,"Pension plan contributions":0,"Other employee benefits":0,"Payroll taxes":0},"Other expenses":{"value":14830,"Management services":0,"Legal":0,"Accounting":0,"Lobbying services":0,"Investment management fees":0,"Other services":0,"Advertising":0,"Office expenses":0,"Information technology":0,"Royalties":0,"Occupancy":0,"Travel":0,"Conferences and meetings":0,"Interest":0,"Payments to affiliates":0,"Depreciation and depletion":0,"Insurance":0,"Travel entertainment public officials":0,"Travel entertainment payments":0,"Printing, publications, postage":0,"Itemized Expenses":14830,"All other expenses":0},"Functional Expenses":{"value":null,"Program Service Expenses":0,"Management And General Expenses":0,"Fundraising Expenses":0}},"Assets":{"value":202392,"Non-interest bearing cash":0,"Savings and temp cash investments":202392,"Pledges and grants receivable":0,"Accounts receivable":0,"Receivables from officers":0,"Receivables from disqual persons":0,"Other net note and loans":0,"Inventories for sale or use":0,"Prepaid expenses deferred charges":0,"Land, building, equipment":0,"Investments publicly traded":0,"Investments other":0,"Investments program related":0,"Intangible assets":0,"Other assets":0},"Liabilities":{"value":0,"Sum of Total Liabilities":0,"Accounts payable, accrued":0,"Grants payable":0,"Deferred, revenue":0,"Tax exempt bond liabilities":0,"Escrow account liability":0,"Loans from officers, directors":0,"Secured mortgages and notes payable":0,"Unsecured notes loans payable":0,"Other liabilities":0},"Fund balance":{"value":202392,"Net assets without donor restriction":0,"Net assets with donor restriction":0,"Unrestricted net assets":0,"Temporarily restricted net assets":0,"Permanently restricted net assets":0},"Ratings":{"Program Expense Ratio":{"score":0.0,"percentile":0.4421253816471043},"Fundraising Efficiency":{"score":null,"percentile":null},"Operating Margin":{"score":-17.681952662721894,"percentile":0.006688841882666463},"Liabilities to Assets Ratio":{"score":0.0,"percentile":0.9977938754541298},"Operating Reserve Ratio":{"score":8.012985984638531,"percentile":0.8690802158900737},"Officer Compensation Ratio":{"score":null,"percentile":null},"Program Expense Growth":{"score":null,"percentile":null},"Revenue Growth":{"score":null,"percentile":null},"Asset Growth":{"score":null,"percentile":null},"Independent Voting Board Pct":{"score":null,"percentile":null},"Governance Policy Score":{"score":0.0,"percentile":0.3578721869904765},"Overall Score":{"score":0.40503997383801826,"percentile":0.12960087257316089}},"source_xml":"202401049349200645_public.xml"},{"Organization":{"value":null,"Person":["Daniel Kroening","Aarti Gupta","Orna Grumberg","Kenneth McMillan"],"Title":["Secretary","President","Vice President","President"],"Hours":[0.0,0.0,0.0,0.0],"Total Compensation":[0,0,0,0],"Direct compensation":[0,0,0,0],"Other compensation":[0,0,0,0]},"Basic":{"value":null,"mission":"Organizing the annual international conference on computer-aided verification","year":2023,"name":"INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC","phone":4256383772,"website":null,"type":"990EZ","affiliation":null,"foreign_countries":null,"principal_officer":null,"year_formation":null,"state_legal_domicile":null,"total_volunteers":null,"tax_period_begin":"2023-01-01T00:00:00","tax_period_end":"2023-12-31T00:00:00","address":"1117 W 7th St, Austin, TX, 78703, USA","city":"Austin","state":"TX","country":"USA","zip_code":78703},"Governance":{"value":null,"501c3 determination":true,"501c determination":false,"Number of voting members":null,"Number of independent voting members":null,"Number of employees total":null,"Total Gross UBI":null,"Net unrelated business taxable income":null,"Number of employees":null,"Prohibited tax shelter transactions":false,"Taxable party notification":false,"Funds to pay premiums":false,"Premiums Paid":false,"Family or business relationship":false,"Delegation of management duties":false,"Conflict of interest policy":false,"Whistle blower policy":false,"Compensation process for CEO":false,"Compensation process for other employees":false,"Changes to organizing documents":false,"Material diversion or misuse":false,"Members or stockholders":false,"Election of board members":false,"Decisions subject to approval":false,"Minutes of governing body":false,"Local chapters":false,"Form 990 provided to governing body":false,"Document retention policy":false,"Investment in joint venture":false,"Independent audit financial statements":false,"Consolidated audit financial statements":false,"Accountant compile or review":false,"Political activities":false,"Donor advised funds":false,"Conservation easements":false,"Collections of art":false,"School":false,"Hospital":false,"Foreign activities":false,"Foreign office":false,"Gaming":false,"Fundraising activities":false,"Professional fundraising":false,"Loan to officer or DQP":false,"Grant to related person":false,"Business relationship through family member":false,"Business relationship with organization":false},"Revenues":{"value":29663,"Contributions":{"value":2173,"Other contributions":0,"Contributions from gifts and grants":2173,"Fundraising revenue":0,"Dues":0,"Campaigns":0,"Grant revenue":0,"Related organizations":0},"Program revenue":{"value":16667,"Total revenue":16667,"Total other revenue":0,"Unrelated business revenue":0},"Investment income":{"value":10823,"Investment income total":10823,"Net investment gain":0,"Income from invest bond proceeds":0},"Other revenues":{"value":0,"Other total":0,"Royalties revenue":0,"Net rental income":0,"Net income from fundraising events":0,"Net income from gaming":0,"Net income":0,"Gross profit from sales of inventory":0,"Gain from sale of assets":0}},"Expenses":{"value":61009,"Grant expense":{"value":583,"Grants to domestic orgs":0,"Grants to domestic individuals":0,"Grants and similar":583,"Foreign grants":0},"Total professional fundraising expense":{"value":59927,"Fundraising professional":0,"Fees to independent contractors":59927},"Benefits paid to members":{"value":0,"Benefits paid to members Total":0},"Salaries":{"value":0,"Current officers":0,"Disqualified persons":0,"Other salaries and wages":0,"Pension plan contributions":0,"Other employee benefits":0,"Payroll taxes":0},"Other expenses":{"value":499,"Management services":0,"Legal":0,"Accounting":0,"Lobbying services":0,"Investment management fees":0,"Other services":0,"Advertising":0,"Office expenses":0,"Information technology":0,"Royalties":0,"Occupancy":0,"Travel":0,"Conferences and meetings":0,"Interest":0,"Payments to affiliates":0,"Depreciation and depletion":0,"Insurance":0,"Travel entertainment public officials":0,"Travel entertainment payments":0,"Printing, publications, postage":0,"Itemized Expenses":499,"All other expenses":0},"Functional Expenses":{"value":null,"Program Service Expenses":0,"Management And General Expenses":0,"Fundraising Expenses":0}},"Assets":{"value":171046,"Non-interest bearing cash":0,"Savings and temp cash investments":171046,"Pledges and grants receivable":0,"Accounts receivable":0,"Receivables from officers":0,"Receivables from disqual persons":0,"Other net note and loans":0,"Inventories for sale or use":0,"Prepaid expenses deferred charges":0,"Land, building, equipment":0,"Investments publicly traded":0,"Investments other":0,"Investments program related":0,"Intangible assets":0,"Other assets":0},"Liabilities":{"value":0,"Sum of Total Liabilities":0,"Accounts payable, accrued":0,"Grants payable":0,"Deferred, revenue":0,"Tax exempt bond liabilities":0,"Escrow account liability":0,"Loans from officers, directors":0,"Secured mortgages and notes payable":0,"Unsecured notes loans payable":0,"Other liabilities":0},"Fund balance":{"value":171046,"Net assets without donor restriction":0,"Net assets with donor restriction":0,"Unrestricted net assets":0,"Temporarily restricted net assets":0,"Permanently restricted net assets":0},"Ratings":{"Program Expense Ratio":{"score":0.0,"percentile":0.4421253816471043},"Fundraising Efficiency":{"score":null,"percentile":null},"Operating Margin":{"score":-1.056737349560058,"percentile":0.039764573961329035},"Liabilities to Assets Ratio":{"score":0.0,"percentile":0.9977938754541298},"Operating Reserve Ratio":{"score":2.803619138159944,"percentile":0.6975697917186631},"Officer Compensation Ratio":{"score":null,"percentile":null},"Program Expense Growth":{"score":null,"percentile":null},"Revenue Growth":{"score":-0.8922922328087547,"percentile":0.00673712313307582},"Asset Growth":{"score":-0.19253132093836348,"percentile":0.05624046246145384},"Independent Voting Board Pct":{"score":null,"percentile":null},"Governance Policy Score":{"score":0.0,"percentile":0.3578721869904765},"Overall Score":{"score":0.327218848805673,"percentile":0.032412317216501216}},"source_xml":"202431349349200748_public.xml"},{"Organization":{"value":null,"Person":["Aarti Gupta","Kenneth McMillan","Orna Grumberg","Daniel Kroening"],"Title":["President","Secretary","Vice President","Vice President"],"Hours":[0.0,0.0,0.0,0.0],"Total Compensation":[0,0,0,0],"Direct compensation":[0,0,0,0],"Other compensation":[0,0,0,0]},"Basic":{"value":null,"mission":"Organizing and presenting annual conference on computer-aided verification.","year":2024,"name":"INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC","phone":4256383772,"website":null,"type":"990EZ","affiliation":null,"foreign_countries":null,"principal_officer":null,"year_formation":null,"state_legal_domicile":null,"total_volunteers":null,"tax_period_begin":"2024-01-01T00:00:00","tax_period_end":"2024-12-31T00:00:00","address":"1117 W 7th St, Austin, TX, 78703, USA","city":"Austin","state":"TX","country":"USA","zip_code":78703},"Governance":{"value":null,"501c3 determination":true,"501c determination":false,"Number of voting members":null,"Number of independent voting members":null,"Number of employees total":null,"Total Gross UBI":null,"Net unrelated business taxable income":null,"Number of employees":null,"Prohibited tax shelter transactions":false,"Taxable party notification":false,"Funds to pay premiums":false,"Premiums Paid":false,"Family or business relationship":false,"Delegation of management duties":false,"Conflict of interest policy":false,"Whistle blower policy":false,"Compensation process for CEO":false,"Compensation process for other employees":false,"Changes to organizing documents":false,"Material diversion or misuse":false,"Members or stockholders":false,"Election of board members":false,"Decisions subject to approval":false,"Minutes of governing body":false,"Local chapters":false,"Form 990 provided to governing body":false,"Document retention policy":false,"Investment in joint venture":false,"Independent audit financial statements":false,"Consolidated audit financial statements":false,"Accountant compile or review":false,"Political activities":false,"Donor advised funds":false,"Conservation easements":false,"Collections of art":false,"School":false,"Hospital":false,"Foreign activities":false,"Foreign office":false,"Gaming":false,"Fundraising activities":false,"Professional fundraising":false,"Loan to officer or DQP":false,"Grant to related person":false,"Business relationship through family member":false,"Business relationship with organization":false},"Revenues":{"value":196313,"Contributions":{"value":46648,"Other contributions":0,"Contributions from gifts and grants":46648,"Fundraising revenue":0,"Dues":0,"Campaigns":0,"Grant revenue":0,"Related organizations":0},"Program revenue":{"value":141582,"Total revenue":141582,"Total other revenue":0,"Unrelated business revenue":0},"Investment income":{"value":8083,"Investment income total":8083,"Net investment gain":0,"Income from invest bond proceeds":0},"Other revenues":{"value":0,"Other total":0,"Royalties revenue":0,"Net rental income":0,"Net income from fundraising events":0,"Net income from gaming":0,"Net income":0,"Gross profit from sales of inventory":0,"Gain from sale of assets":0}},"Expenses":{"value":136951,"Grant expense":{"value":10610,"Grants to domestic orgs":0,"Grants to domestic individuals":0,"Grants and similar":10610,"Foreign grants":0},"Total professional fundraising expense":{"value":124968,"Fundraising professional":0,"Fees to independent contractors":124968},"Benefits paid to members":{"value":0,"Benefits paid to members Total":0},"Salaries":{"value":0,"Current officers":0,"Disqualified persons":0,"Other salaries and wages":0,"Pension plan contributions":0,"Other employee benefits":0,"Payroll taxes":0},"Other expenses":{"value":1373,"Management services":0,"Legal":0,"Accounting":0,"Lobbying services":0,"Investment management fees":0,"Other services":0,"Advertising":0,"Office expenses":0,"Information technology":0,"Royalties":0,"Occupancy":0,"Travel":0,"Conferences and meetings":0,"Interest":0,"Payments to affiliates":0,"Depreciation and depletion":0,"Insurance":0,"Travel entertainment public officials":0,"Travel entertainment payments":0,"Printing, publications, postage":0,"Itemized Expenses":1373,"All other expenses":0},"Functional Expenses":{"value":null,"Program Service Expenses":0,"Management And General Expenses":0,"Fundraising Expenses":0}},"Assets":{"value":230408,"Non-interest bearing cash":0,"Savings and temp cash investments":230408,"Pledges and grants receivable":0,"Accounts receivable":0,"Receivables from officers":0,"Receivables from disqual persons":0,"Other net note and loans":0,"Inventories for sale or use":0,"Prepaid expenses deferred charges":0,"Land, building, equipment":0,"Investments publicly traded":0,"Investments other":0,"Investments program related":0,"Intangible assets":0,"Other assets":0},"Liabilities":{"value":0,"Sum of Total Liabilities":0,"Accounts payable, accrued":0,"Grants payable":0,"Deferred, revenue":0,"Tax exempt bond liabilities":0,"Escrow account liability":0,"Loans from officers, directors":0,"Secured mortgages and notes payable":0,"Unsecured notes loans payable":0,"Other liabilities":0},"Fund balance":{"value":230408,"Net assets without donor restriction":0,"Net assets with donor restriction":0,"Unrestricted net assets":0,"Temporarily restricted net assets":0,"Permanently restricted net assets":0},"Ratings":{"Program Expense Ratio":{"score":0.0,"percentile":0.4421253816471043},"Fundraising Efficiency":{"score":null,"percentile":null},"Operating Margin":{"score":0.30238445747352444,"percentile":0.8367692282295215},"Liabilities to Assets Ratio":{"score":0.0,"percentile":0.9977938754541298},"Operating Reserve Ratio":{"score":1.6824119575614636,"percentile":0.5700196776280304},"Officer Compensation Ratio":{"score":null,"percentile":null},"Program Expense Growth":{"score":null,"percentile":null},"Revenue Growth":{"score":0.3016400642618555,"percentile":0.9466016359584988},"Asset Growth":{"score":-0.043876641678459075,"percentile":0.17740697824705262},"Independent Voting Board Pct":{"score":null,"percentile":null},"Governance Policy Score":{"score":0.0,"percentile":0.3578721869904765},"Overall Score":{"score":0.613131612410101,"percentile":0.6434001155511487}},"source_xml":"202501289349202105_public.xml"},{"Organization":{"value":null,"Person":["Kenneth McMillan","Aarti Gupta","Daniel Kroening","Orna Grumberg"],"Title":["Treasurer","President","Secretary","Vice President"],"Hours":[0.0,0.0,0.0,0.0],"Total Compensation":[0,0,0,0],"Direct compensation":[0,0,0,0],"Other compensation":[0,0,0,0]},"Basic":{"value":null,"mission":"To organize the annual international conference on computer-aided verification, an annual scientific conference i the field of computer science.","year":2021,"name":"INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC","phone":4256383772,"website":null,"type":"990EZ","affiliation":null,"foreign_countries":null,"principal_officer":null,"year_formation":null,"state_legal_domicile":null,"total_volunteers":null,"tax_period_begin":"2021-01-01T00:00:00","tax_period_end":"2021-12-31T00:00:00","address":"1117 W 7th St, Austin, TX, 78703, USA","city":"Austin","state":"TX","country":"USA","zip_code":78703},"Governance":{"value":null,"501c3 determination":true,"501c determination":false,"Number of voting members":null,"Number of independent voting members":null,"Number of employees total":null,"Total Gross UBI":null,"Net unrelated business taxable income":null,"Number of employees":null,"Prohibited tax shelter transactions":false,"Taxable party notification":false,"Funds to pay premiums":false,"Premiums Paid":false,"Family or business relationship":false,"Delegation of management duties":false,"Conflict of interest policy":false,"Whistle blower policy":false,"Compensation process for CEO":false,"Compensation process for other employees":false,"Changes to organizing documents":false,"Material diversion or misuse":false,"Members or stockholders":false,"Election of board members":false,"Decisions subject to approval":false,"Minutes of governing body":false,"Local chapters":false,"Form 990 provided to governing body":false,"Document retention policy":false,"Investment in joint venture":false,"Independent audit financial statements":false,"Consolidated audit financial statements":false,"Accountant compile or review":false,"Political activities":false,"Donor advised funds":false,"Conservation easements":false,"Collections of art":false,"School":false,"Hospital":false,"Foreign activities":false,"Foreign office":false,"Gaming":false,"Fundraising activities":false,"Professional fundraising":false,"Loan to officer or DQP":false,"Grant to related person":false,"Business relationship through family member":false,"Business relationship with organization":false},"Revenues":{"value":118756,"Contributions":{"value":48500,"Other contributions":0,"Contributions from gifts and grants":48500,"Fundraising revenue":0,"Dues":0,"Campaigns":0,"Grant revenue":0,"Related organizations":0},"Program revenue":{"value":61930,"Total revenue":61930,"Total other revenue":0,"Unrelated business revenue":0},"Investment income":{"value":8326,"Investment income total":8326,"Net investment gain":0,"Income from invest bond proceeds":0},"Other revenues":{"value":0,"Other total":0,"Royalties revenue":0,"Net rental income":0,"Net income from fundraising events":0,"Net income from gaming":0,"Net income":0,"Gross profit from sales of inventory":0,"Gain from sale of assets":0}},"Expenses":{"value":126936,"Grant expense":{"value":11383,"Grants to domestic orgs":0,"Grants to domestic individuals":0,"Grants and similar":11383,"Foreign grants":0},"Total professional fundraising expense":{"value":0,"Fundraising professional":0,"Fees to independent contractors":0},"Benefits paid to members":{"value":0,"Benefits paid to members Total":0},"Salaries":{"value":0,"Current officers":0,"Disqualified persons":0,"Other salaries and wages":0,"Pension plan contributions":0,"Other employee benefits":0,"Payroll taxes":0},"Other expenses":{"value":115553,"Management services":0,"Legal":0,"Accounting":0,"Lobbying services":0,"Investment management fees":0,"Other services":0,"Advertising":0,"Office expenses":0,"Information technology":0,"Royalties":0,"Occupancy":0,"Travel":0,"Conferences and meetings":0,"Interest":0,"Payments to affiliates":0,"Depreciation and depletion":0,"Insurance":0,"Travel entertainment public officials":0,"Travel entertainment payments":0,"Printing, publications, postage":0,"Itemized Expenses":115553,"All other expenses":0},"Functional Expenses":{"value":null,"Program Service Expenses":0,"Management And General Expenses":0,"Fundraising Expenses":0}},"Assets":{"value":251224,"Non-interest bearing cash":0,"Savings and temp cash investments":251224,"Pledges and grants receivable":0,"Accounts receivable":0,"Receivables from officers":0,"Receivables from disqual persons":0,"Other net note and loans":0,"Inventories for sale or use":0,"Prepaid expenses deferred charges":0,"Land, building, equipment":0,"Investments publicly traded":0,"Investments other":0,"Investments program related":0,"Intangible assets":0,"Other assets":0},"Liabilities":{"value":0,"Sum of Total Liabilities":0,"Accounts payable, accrued":0,"Grants payable":0,"Deferred, revenue":0,"Tax exempt bond liabilities":0,"Escrow account liability":0,"Loans from officers, directors":0,"Secured mortgages and notes payable":0,"Unsecured notes loans payable":0,"Other liabilities":0},"Fund balance":{"value":251224,"Net assets without donor restriction":0,"Net assets with donor restriction":0,"Unrestricted net assets":0,"Temporarily restricted net assets":0,"Permanently restricted net assets":0},"Ratings":{"Program Expense Ratio":{"score":0.0,"percentile":0.4421253816471043},"Fundraising Efficiency":{"score":null,"percentile":null},"Operating Margin":{"score":-0.06888073023678803,"percentile":0.2586849475989768},"Liabilities to Assets Ratio":{"score":0.0,"percentile":0.9977938754541298},"Operating Reserve Ratio":{"score":1.9791390937165185,"percentile":0.6133353165224374},"Officer Compensation Ratio":{"score":null,"percentile":null},"Program Expense Growth":{"score":null,"percentile":null},"Revenue Growth":{"score":null,"percentile":null},"Asset Growth":{"score":null,"percentile":null},"Independent Voting Board Pct":{"score":null,"percentile":null},"Governance Policy Score":{"score":0.0,"percentile":0.3578721869904765},"Overall Score":{"score":0.45051664818177245,"percentile":0.21228453900431227}},"source_xml":"202202079349200820_public.xml"}],"Latest":{"Organization":{"value":null,"Person":["Aarti Gupta","Kenneth McMillan","Orna Grumberg","Daniel Kroening"],"Title":["President","Secretary","Vice President","Vice President"],"Hours":[0.0,0.0,0.0,0.0],"Total Compensation":[0,0,0,0],"Direct compensation":[0,0,0,0],"Other compensation":[0,0,0,0]},"Basic":{"value":null,"mission":"Organizing and presenting annual conference on computer-aided verification.","year":2024,"name":"INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC","phone":4256383772,"website":null,"type":"990EZ","affiliation":null,"foreign_countries":null,"principal_officer":null,"year_formation":null,"state_legal_domicile":null,"total_volunteers":null,"tax_period_begin":"2024-01-01T00:00:00","tax_period_end":"2024-12-31T00:00:00","address":"1117 W 7th St, Austin, TX, 78703, USA","city":"Austin","state":"TX","country":"USA","zip_code":78703},"Governance":{"value":null,"501c3 determination":true,"501c determination":false,"Number of voting members":null,"Number of independent voting members":null,"Number of employees total":null,"Total Gross UBI":null,"Net unrelated business taxable income":null,"Number of employees":null,"Prohibited tax shelter transactions":false,"Taxable party notification":false,"Funds to pay premiums":false,"Premiums Paid":false,"Family or business relationship":false,"Delegation of management duties":false,"Conflict of interest policy":false,"Whistle blower policy":false,"Compensation process for CEO":false,"Compensation process for other employees":false,"Changes to organizing documents":false,"Material diversion or misuse":false,"Members or stockholders":false,"Election of board members":false,"Decisions subject to approval":false,"Minutes of governing body":false,"Local chapters":false,"Form 990 provided to governing body":false,"Document retention policy":false,"Investment in joint venture":false,"Independent audit financial statements":false,"Consolidated audit financial statements":false,"Accountant compile or review":false,"Political activities":false,"Donor advised funds":false,"Conservation easements":false,"Collections of art":false,"School":false,"Hospital":false,"Foreign activities":false,"Foreign office":false,"Gaming":false,"Fundraising activities":false,"Professional fundraising":false,"Loan to officer or DQP":false,"Grant to related person":false,"Business relationship through family member":false,"Business relationship with organization":false},"Revenues":{"value":196313,"Contributions":{"value":46648,"Other contributions":0,"Contributions from gifts and grants":46648,"Fundraising revenue":0,"Dues":0,"Campaigns":0,"Grant revenue":0,"Related organizations":0},"Program revenue":{"value":141582,"Total revenue":141582,"Total other revenue":0,"Unrelated business revenue":0},"Investment income":{"value":8083,"Investment income total":8083,"Net investment gain":0,"Income from invest bond proceeds":0},"Other revenues":{"value":0,"Other total":0,"Royalties revenue":0,"Net rental income":0,"Net income from fundraising events":0,"Net income from gaming":0,"Net income":0,"Gross profit from sales of inventory":0,"Gain from sale of assets":0}},"Expenses":{"value":136951,"Grant expense":{"value":10610,"Grants to domestic orgs":0,"Grants to domestic individuals":0,"Grants and similar":10610,"Foreign grants":0},"Total professional fundraising expense":{"value":124968,"Fundraising professional":0,"Fees to independent contractors":124968},"Benefits paid to members":{"value":0,"Benefits paid to members Total":0},"Salaries":{"value":0,"Current officers":0,"Disqualified persons":0,"Other salaries and wages":0,"Pension plan contributions":0,"Other employee benefits":0,"Payroll taxes":0},"Other expenses":{"value":1373,"Management services":0,"Legal":0,"Accounting":0,"Lobbying services":0,"Investment management fees":0,"Other services":0,"Advertising":0,"Office expenses":0,"Information technology":0,"Royalties":0,"Occupancy":0,"Travel":0,"Conferences and meetings":0,"Interest":0,"Payments to affiliates":0,"Depreciation and depletion":0,"Insurance":0,"Travel entertainment public officials":0,"Travel entertainment payments":0,"Printing, publications, postage":0,"Itemized Expenses":1373,"All other expenses":0},"Functional Expenses":{"value":null,"Program Service Expenses":0,"Management And General Expenses":0,"Fundraising Expenses":0}},"Assets":{"value":230408,"Non-interest bearing cash":0,"Savings and temp cash investments":230408,"Pledges and grants receivable":0,"Accounts receivable":0,"Receivables from officers":0,"Receivables from disqual persons":0,"Other net note and loans":0,"Inventories for sale or use":0,"Prepaid expenses deferred charges":0,"Land, building, equipment":0,"Investments publicly traded":0,"Investments other":0,"Investments program related":0,"Intangible assets":0,"Other assets":0},"Liabilities":{"value":0,"Sum of Total Liabilities":0,"Accounts payable, accrued":0,"Grants payable":0,"Deferred, revenue":0,"Tax exempt bond liabilities":0,"Escrow account liability":0,"Loans from officers, directors":0,"Secured mortgages and notes payable":0,"Unsecured notes loans payable":0,"Other liabilities":0},"Fund balance":{"value":230408,"Net assets without donor restriction":0,"Net assets with donor restriction":0,"Unrestricted net assets":0,"Temporarily restricted net assets":0,"Permanently restricted net assets":0},"Ratings":{"Program Expense Ratio":{"score":0.0,"percentile":0.4421253816471043},"Fundraising Efficiency":{"score":null,"percentile":null},"Operating Margin":{"score":0.30238445747352444,"percentile":0.8367692282295215},"Liabilities to Assets Ratio":{"score":0.0,"percentile":0.9977938754541298},"Operating Reserve Ratio":{"score":1.6824119575614636,"percentile":0.5700196776280304},"Officer Compensation Ratio":{"score":null,"percentile":null},"Program Expense Growth":{"score":null,"percentile":null},"Revenue Growth":{"score":0.3016400642618555,"percentile":0.9466016359584988},"Asset Growth":{"score":-0.043876641678459075,"percentile":0.17740697824705262},"Independent Voting Board Pct":{"score":null,"percentile":null},"Governance Policy Score":{"score":0.0,"percentile":0.3578721869904765},"Overall Score":{"score":0.613131612410101,"percentile":0.6434001155511487}},"source_xml":"202501289349202105_public.xml"},"sector":"Public, Societal Benefit","donation_categories":[],"zakat_policy":null},"error":null}