ARISTOTLE Trademark

Serial Number: 99619530

ARISTOTLE is a trademark filed by Concordance Inc. on January 28, 2026. 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

56 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

January 28, 2026

Registration Date

Not Registered

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