INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION, INC. is an entity registered at NEW YORK county with company number 2500445. C/O BERNSTEIN AND DRUCKER located at the address 450 Seventh Ave., Ste. 2701 New York, New York, 10023. Company is incorporated on April 19, 2000. Current status of the company is active.
Company name | INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION, INC. |
---|---|
DOS ID # | 2500445 |
Initial DOS Filing Date | April 19, 2000 |
County | NEW YORK |
---|---|
Jurisdiction | NEW YORK |
Company Type | DOMESTIC NOT-FOR-PROFIT CORPORATION |
Current Company Status | ACTIVE |
DOS Process |
C/O BERNSTEIN AND DRUCKER 450 SEVENTH AVE., STE. 2701 NEW YORK, NEW YORK, 10023 |
---|