ALAN Trademark
Serial Number: 99746970
ALAN is a trademark filed by
Provable Systems, Inc.
on April 6, 2026. The trademark is classified under Class 9 (Computers & Electronics), Class 42 (Computer & Scientific).
The application is currently pending registration.
Trademark Classes
Owner Contact Info
Legal Representation
Correspondence Address
John R. Lane gunnercooke US LLP
475 Park Avenue South
Suite 2300
New York, NY 10016
United States
Trademark Details
Filing Date
April 6, 2026
Registration Date
Not Registered
Goods & Services
Downloadable virtual assistant software using artificial intelligence (AI) for performing formal verification of software
Software as a service (SAAS) services featuring software using artificial intelligence (AI) for performing formal verification of software
Filing History
NOTIFICATION OF NON-FINAL ACTION E-MAILED
Aug 24, 2026 GNRN
NON-FINAL ACTION E-MAILED
Aug 24, 2026 GNRT
NON-FINAL ACTION WRITTEN
Aug 24, 2026 CNRT
ASSIGNED TO EXAMINER
Aug 14, 2026 DOCK
NEW APPLICATION OFFICE SUPPLIED DATA ENTERED
Jul 30, 2026 NWOS
APPLICATION FILING RECEIPT MAILED
Apr 6, 2026 MAFR
NEW APPLICATION ENTERED
Apr 6, 2026 NWAP
