FORMAL NAVIGATOR Trademark
Trademark Overview
On Monday, November 1, 1999, a trademark application was filed for FORMAL NAVIGATOR with the United States Patent and Trademark Office. The USPTO has given the FORMAL NAVIGATOR trademark a serial number of 75837030. The federal status of this trademark filing is ABANDONED - FAILURE TO RESPOND OR LATE RESPONSE as of Tuesday, November 14, 2000. This trademark is owned by TransEDA, Ltd.. The FORMAL NAVIGATOR trademark is filed in the Computer & Software Products & Electrical & Scientific Products category with the following description:
software that checks the validity of formal mathematical properties for a very large scale integration hardware design
General Information
| Serial Number | 75837030 |
| Word Mark | FORMAL NAVIGATOR |
| Filing Date | Monday, November 1, 1999 |
| Status | 602 - ABANDONED - FAILURE TO RESPOND OR LATE RESPONSE |
| Status Date | Tuesday, November 14, 2000 |
| Registration Number | 0000000 |
| Registration Date | NOT AVAILABLE |
| Mark Drawing | 1000 - Typeset: Word(s) / letter(s) / number(s) |
| Published for Opposition Date | NOT AVAILABLE |
Trademark Statements
| Goods and Services | software that checks the validity of formal mathematical properties for a very large scale integration hardware design |
Classification Information
| International Class | 009 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments; apparatus and instruments for conducting, switching, transforming, accumulating, regulating or controlling electricity; apparatus for recording, transmission or reproduction of sound or images; magnetic data carriers, recording discs; automatic vending machines and mechanisms for coin operated apparatus; cash registers, calculating machines, data processing equipment and computers; fire extinguishing apparatus. |
| US Class Codes | 021, 023, 026, 036, 038 |
| Class Status Code | 6 - Active |
| Class Status Date | Tuesday, February 8, 2000 |
| Primary Code | 009 |
| First Use Anywhere Date | NOT AVAILABLE |
| First Use In Commerce Date | NOT AVAILABLE |
Trademark Owner History
| Party Name | TransEDA, Ltd. |
| Party Type | 10 - Original Applicant |
| Legal Entity Type | 03 - Corporation |
| Address | Eastleigh, Hampshire SO53 3TG
GB |
Trademark Events
| Event Date | Event Description |
| Tuesday, November 14, 2000 | ABANDONMENT - FAILURE TO RESPOND OR LATE RESPONSE |
| Monday, March 27, 2000 | NON-FINAL ACTION MAILED |
| Monday, March 20, 2000 | ASSIGNED TO EXAMINER |
| Thursday, March 16, 2000 | ASSIGNED TO EXAMINER |
| Tuesday, March 14, 2000 | ASSIGNED TO EXAMINER |
| Thursday, March 9, 2000 | ASSIGNED TO EXAMINER |
| Wednesday, March 8, 2000 | ASSIGNED TO EXAMINER |
