2024-05-13T23:43:49Z 2023-12-31 990EZ 2023-01-01 134120196 INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION INC INTE 4256383772 1117 W 7th St Austin TX 78703 Kenneth McMillan Treasurer 4256383772 2024-05-13 2023 2023-04-26 12:10:37Z X X X 29663 X 2173 16667 10823 29663 583 59927 499 61009 -31346 202392 171046 202392 171046 202392 171046 202392 171046 Organizing the annual International Conference on Computer-Aided Verification Organized annual conference 59927 Annual CAV award 583 60510 Daniel Kroening Secretary 0.00 0 0 0 Aarti Gupta President 0.00 0 0 0 Orna Grumberg Vice President 0.00 0 0 0 Kenneth McMillan President 0.00 0 0 0 false false false false false false false false false NY Kenneth McMillan 1117 W 7th St Austin TX 78703 4256383772 false false false false false false false false false false false NONE 0 NONE 0 true X 0 30000 87040 36000 1352 2173 156565 13836 271230 15307 0 16667 317040 43836 358270 51307 1352 18840 473605 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 473605 15307 8326 8866 -24927 10823 18395 0 15307 8326 8866 -24927 10823 18395 0 0 59143 366596 60173 -23575 29663 492000 0.96260 0.97480 0.03740 0.02520 X RESTRICTED RESTRICTED RESTRICTED RESTRICTED RESTRICTED RESTRICTED RESTRICTED RESTRICTED Part I, Line 10 Costs related to annual CAV award Part I, Line 16 Miscellaneous operating expenses