SPECLOGICIAN Trademark

Serial Number: 99430968

SPECLOGICIAN is a trademark filed by Aesthetic Integration Limited on October 7, 2025. The trademark is classified under Class 9 (Computers & Electronics), Class 42 (Computer & Scientific). The application is currently pending registration.

Trademark Classes

Class 9 - Computers & Electronics

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

Class 42 - Computer & Scientific

Scientific and technological services; industrial analysis and research services

Owner Contact Info

Aesthetic Integration Limited (10 trademarks)

London EC2M3TY , GB

Entity Type: 99

Legal Representation

Attorney of Record

Mark G. Knedeisen

147 trademarks filed View all →

Correspondence Address

Mark G. Knedeisen K&L Gates LLP

K&L Gates Center

210 Sixth Avenue

Pittsburgh, PA 15222-2613

United States

Trademark Details

Filing Date

October 7, 2025

Registration Date

Not Registered

Goods & Services

Software as a service (SaaS) services featuring software for program analysis, code governance, reasoning about specifications in the field of software development and formal verification, and artificial intelligence; software as a service (SaaS) services featuring artificial intelligence (AI) software for formalizing and reasoning about natural language specifications and generating machine-checkable models in software development; providing temporary use of non-downloadable software for developing, testing, and deploying artificial intelligence models and reasoning agents.

Downloadable computer software for program analysis, code governance, reasoning about specifications in the field of software development and formal verification, and artificial intelligence; downloadable computer software using artificial intelligence (AI) for formalizing and reasoning about natural language specifications and generating machine-checkable models in software development; downloadable software libraries and extensions for use in developing, testing, and deploying artificial intelligence models and reasoning agents.