| Name: | INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION, INC. |
| Jurisdiction: | New York |
| Legal type: | DOMESTIC NOT-FOR-PROFIT CORPORATION |
| Status: | Active |
| Date of registration: | 19 Apr 2000 (25 years ago) |
| Entity Number: | 2500445 |
| ZIP code: | 10023 |
| County: | New York |
| Place of Formation: | New York |
| Address: | 450 SEVENTH AVE., STE. 2701, NEW YORK, NY, United States, 10023 |
| Name | Role | Address |
|---|---|---|
| C/O BERNSTEIN AND DRUCKER | DOS Process Agent | 450 SEVENTH AVE., STE. 2701, NEW YORK, NY, United States, 10023 |
| Filing Number | Date Filed | Type | Effective Date |
|---|---|---|---|
| 000419000024 | 2000-04-19 | CERTIFICATE OF INCORPORATION | 2000-04-19 |
Date of last update: 02 Jan 2025
Sources: New York Secretary of State
