ALAN Trademark
ALAN is a USPTO trademark filed by Provable Systems, Inc.. Status: Pending.
Trademark Facts
| Mark | ALAN |
|---|---|
| Serial Number | 99746970 |
| Status | Pending |
| Filing Date | 2026-04-06 |
| Mark Type | Word |
| Nice Classes | 009 (Electronics & Software), 042 (Software & IT) |
| Owner | Provable Systems, Inc. |
| Attorney of Record | John R. Lane |
| Prosecution Events | 2 |
| Latest Event | MAFR on 2026-04-06 |
Goods & Services
Class 009: Downloadable virtual assistant software using artificial intelligence (AI) for performing formal verification of software; Class 042: Software as a service (SAAS) services featuring software using artificial intelligence (AI) for performing formal verification of software