Serial #99452604 Trademark

Serial Number: 99452604

Serial #99452604 is a trademark filed by Concordance Inc. on October 20, 2025. The trademark is classified under Class 9 (Computers & Electronics). The application is currently pending registration.

Trademark Classes

Class 9 - Computers & Electronics

Scientific, nautical, surveying, photographic, cinematographic, optical apparatus and instruments

Owner Contact Info

Concordance Inc. (7 trademarks)

815 HIGH STREET
Palo Alto, CA 94301

Entity Type: 03

Legal Representation

Attorney of Record

Dyan Finguerra-DuCharme

4,790 trademarks filed View all →

Correspondence Address

Dyan Finguerra-DuCharme Pryor Cashman LLP

7 Times Square

New York, NY 10036

United States

Trademark Details

Filing Date

October 20, 2025

Registration Date

Not Registered

First Use Anywhere

June 1, 2025

First Use in Commerce

June 1, 2025

Goods & Services

Downloadable computer software using artificial intelligence (AI) for use in automated theorem proving, formal mathematical reasoning, mathematical proof generation and verification, and formal verification of software code for mathematical research and education in the fields of mathematics, computer science, cryptography, and physics, and for building accurate, verifiable or interpretable artificial intelligence (AI) outputs; Recorded computer software using artificial intelligence (AI) for use in automated theorem proving, formal mathematical reasoning, mathematical proof generation and verification, and formal verification of software code for mathematical research and education in the fields of mathematics, computer science, cryptography, and physics, and for building accurate, verifiable or interpretable artificial intelligence (AI) outputs